def before.opt

cswap-bend-cli@0.1.0.0 · policy/usage.bend:113

import Base

113def before.opt(+now: Nat, +m: Maybe<&2, Nat>) -> Bool:
114  match m:
115    case None{}:
116      False{}
117    case Some{n}:
118      Nat.is_lt(now, n)