def nr.rel

cswap-bend-cli@0.1.0.0 · policy/bar.bend:110

import Base

110def nr.rel(+rel: Bool, +f: Nat) -> Maybe<&2, Nat>:
111  match rel:
112    case True{}:
113      None{}
114    case False{}:
115      Some{f}