def num.fin

lawful-fields@0.1.1.0 · fields.bend:42

import lawful-fields@0.1.1.0/fields.bend as Fields

import Base

42def num.fin(+acc: U32, ok: Bool) -> Maybe<&2, U32>:
43  match ok:
44    case True{}:
45      Some{acc}
46    case False{}:
47      None{}

Uses (3)

Used by (4)