def first.pick

cswap-bend-cli@0.1.0.0 · policy/pick.bend:204

import cswap-bend-cli@0.1.0.0/policy/pick.bend as Pick

import Base

204def first.pick(+hit: Bool, +slot: Nat, +rest: Maybe<&2, Nat>) -> Maybe<&2, Nat>:
205  match hit:
206    case True{}:
207      Some{slot}
208    case False{}:
209      rest

Uses (3)

Used by (3)