def decb.if

lawful-fields@0.1.1.0 · defs.bend:66

import Base

66def decb.if(+n: Nat, fits: Bool) -> Maybe<&2, Nat>:
67  match fits:
68    case True{}:
69      Some{n}
70    case False{}:
71      None{}