MachineLimits.native_nat_max: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/machine_limits.bend as MachineLimits
Lines 8-12 of stelliferous@0.0.2.0/machine_limits.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/machine_limits.bend&start_line=8&end_line=12

import Base

# Official v2.0.26 native Nat payloads have 48 bits. Checked metadata products
# keep each partial value <= U32.max; doubling it and adding a U32 operand is
# at most 3*U32.max. Binary evidence avoids expanding these bounds in unary.
def native_nat_max() -> Word(48n):
  Word.not(48n,Word.zero(48n))

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.zero