def decb.of

lawful-fields@0.1.1.0 · defs.bend:73

import Base

73def decb.of(m: Maybe<&2, Nat>, +bound: Nat) -> Maybe<&2, Nat>:
74  match m:
75    case Some{+n}:
76      decb.if(n, Nat.is_lt(n, bound))
77    case None{}:
78      None{}