def account.of

cswap-bend-cli@0.1.0.0 · policy/usage.bend:255

import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T

255def account.of(+slot: Nat, +as: List<&2, T.Account>) -> Maybe<&2, T.Account>:
256  match as:
257    case Nil{}:
258      None{}
259    case Con{a, t}:
260      account.of.pick(Nat.is_eq(slot, account.slot(a)), a, account.of(slot, t))