def num.opt

bend-toon-codec@0.1.0.0 · src/num.bend:60

import Base

60def num.opt(+ok: Bool, +n: Num) -> Maybe<&2, Num>:
61  match ok:
62    case True{}:
63      Some{n}
64    case False{}:
65      None{}