def fits

bend-kit-bytes@0.3.3.0 · bytes.bend:162

import Base

162# Do n bytes from i fit in len?
163def fits(+len: U32, +i: U32, +n: U32) -> Bool:
164  Bool.and(U32.is_le(n, len), U32.is_le(i, (len - n : U32)))