def dec.push

lawful-fields@0.1.1.0 · defs.bend:43

import Base

43def dec.push(acc: Maybe<&2, Nat>, d: Maybe<&2, Nat>) -> Maybe<&2, Nat>:
44  match acc d:
45    case Some{a} Some{k}:
46      Some{Nat.add(Nat.mul(a, 10n), k)}
47    case _ _:
48      None{}