def head.if
import cswap-bend-cli@0.1.0.0/policy/usage.bend as Usageimport Base
198def head.if(+ok: Bool, +h: Maybe<&2, Nat>) -> Maybe<&2, Nat>:
199 match ok:
200 case True{}:
201 h
202 case False{}:
203 None{}
import cswap-bend-cli@0.1.0.0/policy/usage.bend as Usageimport Base
198def head.if(+ok: Bool, +h: Maybe<&2, Nat>) -> Maybe<&2, Nat>:
199 match ok:
200 case True{}:
201 h
202 case False{}:
203 None{}