~/jendhub

def native_nat_max

stelliferous@0.0.2.0 · machine_limits.bend:8

import stelliferous@0.0.2.0/machine_limits.bend as MachineLimits
import Base

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

Uses (3)

Used by (1)