Numeric.Numeric.limit: def of gralha-bendquest@0.1.0.0
Import: import gralha-bendquest@0.1.0.0/numeric.bend as Numeric
Lines 5-11 of gralha-bendquest@0.1.0.0/numeric.bend: https://jend.leeeet.dev/read.txt?path=gralha-bendquest@0.1.0.0/numeric.bend&start_line=5&end_line=11

import Base

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

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.double