def cand.gate.at

cswap-bend-cli@0.1.0.0 · policy/rank.bend:282

import Base

282def cand.gate.at(+ok: Bool, +h: Nat) -> Maybe<&2, Nat>:
283  match ok:
284    case True{}:
285      Some{h}
286    case False{}:
287      None{}