def bound.rng

emerging-eztoml@0.9.0.0 · main.bend:516

import Base

516# a number is inside the inclusive bounds
517def bound.rng(+nn: U32, lo: U32, hi: U32) -> Bool:
518  Bool.and(U32.is_ge(nn, lo), U32.is_le(nn, hi))