def Numeric.limit

gralha-bendquest@0.1.0.0 · numeric.bend:5

import Base

5# Largest natural representable by a word of n bits.
6def Numeric.limit(n: Nat) -> Nat:
7  match n:
8    case Zero{}:
9      0n
10    case Succ{p}:
11      Succ{Nat.double(Numeric.limit(p))}