def list.fits

bend-kit-journal@0.3.1.0 · journal.bend:164

import bend-kit-journal@0.3.1.0/journal.bend as Journal

import Base

164def list.fits(xs: List<&2, U32>, +at: U32, +n: U32) -> List<&2, U32> & Bool:
165  +ys = xs
166  (ys, Nat.is_le(Nat.add(U32.to_nat(at), U32.to_nat(n)), List.length(&2, U32, ys)))

Uses (9)

Used by (3)