~/jendhub

def list.fits

bend-kit-websocket@0.4.0.0 · websocket.bend:577

import bend-kit-websocket@0.4.0.0/websocket.bend as Websocket
import Base

577def list.fits(xs: List<&2, U32>, +hs: U32, +len: U32) -> List<&2, U32> & Bool:
578  +ys = xs
579  (ys, Nat.is_le(Nat.add(U32.to_nat(hs), U32.to_nat(len)), List.length(&2, U32, ys)))

Uses (9)

Used by (1)