def nl.pick

cswap-bend-cli@0.1.0.0 · frame.bend:10

import cswap-bend-cli@0.1.0.0/frame.bend as Frame

import Base

10def nl.pick(hit: Bool, n: Nat, rest: Maybe<&2, Nat>) -> Maybe<&2, Nat>:
11  match hit:
12    case True{}:
13      Some{n}
14    case False{}:
15      rest

Uses (3)

Used by (2)