def Numeric.encode

gralha-bendquest@0.1.0.0 · numeric.bend:13

import Base

13# Generalization of Base.U32.from_nat to arbitrary word widths.
14def Numeric.encode(+n: Nat, k: Nat) -> Word(n):
15  match k:
16    case Zero{}:
17      Word.zero(n)
18    case Succ{p}:
19      Word.inc(n, Numeric.encode(n, p))