def num.out

lawful-fields@0.1.1.0 · fields.bend:49

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

import Base
import lawful-bytes@0.1.1.0/defs.bend as D

49def num.out(+acc: U32, ok: Bool, r: D.Bytes & U32) -> D.Bytes & Maybe<&2, U32>:
50  (b, x) = r
51  (b, num.fin(acc, ok))

Uses (7)

Used by (1)

lawful-fields@0.1.1.0/fields:num.go