def keep

bend-collections-laws-math@1.0.0.0 · spec/math/fixed.bend:48

import Base

48def keep(ok: Bool, +n: Nat) -> Maybe<&2, Nat>:
49  match ok:
50    case True{}:
51      Some{n}
52    case False{}:
53      None{}