def metadata_product_step_fits

stelliferous@0.0.2.0 · machine_limits.bend:30

import Base

30def metadata_product_step_fits() -> {Cmp.is_le(Word.cmp(48n,metadata_product_step_max(),native_nat_max())) == True{} : Bool}:
31  {==}