def rh.if

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

import Base

112def rh.if(+ok: Bool, +rc: Maybe<&2, Nat>, +h: Nat) -> Maybe<&2, RH>:
113  match ok:
114    case True{}:
115      Some{RH{rc, h}}
116    case False{}:
117      None{}