def fits

bend-collections-laws-math@1.0.0.0 · spec/math/generic.bend:59

import Base
import bend-collections-laws-math@1.0.0.0/spec/lib/common.bend as C

59# n fits w bits: n < 2^w (spec/lib/common.bend states it without 2^w)
60def fits(+w: Nat, +n: Nat) -> Bool:
61  C.fits(w, n)