def head.if

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

import cswap-bend-cli@0.1.0.0/policy/usage.bend as Usage
import 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{}

Uses (3)

Used by (1)