def digits.out

lawful-fields@0.1.1.0 · fields.bend:70

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

70def digits.out(ok: Bool, r: D.Bytes & U32) -> D.Bytes & Bool:
71  (b, x) = r
72  (b, ok)