def dec.go

lawful-fields@0.1.1.0 · defs.bend:50

import lawful-fields@0.1.1.0/defs.bend as Defs

import Base

50def dec.go(xs: List<&2, U32>, acc: Maybe<&2, Nat>) -> Maybe<&2, Nat>:
51  match xs:
52    case Nil{}:
53      acc
54    case Con{x, t}:
55      dec.go(t, dec.push(acc, digit(x)))

Uses (6)

Used by (5)