def metadata_product_step_max

stelliferous@0.0.2.0 · machine_limits.bend:26

import stelliferous@0.0.2.0/machine_limits.bend as MachineLimits

import Base

26def metadata_product_step_max() -> Word(48n):
27  +maximum = metadata_operand_max()
28  Word.add(48n,Word.add(48n,maximum,maximum),maximum)

Uses (3)

Used by (1)

stelliferous@0.0.2.0/machine_limits:metadata_product_step_fits