~/jendhub

def list.cut

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

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

581def list.cut(xs: List<&2, U32>, +hs: U32, +len: U32) -> List<&2, U32> & List<&2, U32>:
582  +ys = xs
583  (List.take(&2, U32, List.drop(&2, U32, ys, U32.to_nat(hs)), U32.to_nat(len)),
584    List.drop(&2, U32, ys, Nat.add(U32.to_nat(hs), U32.to_nat(len))))

Uses (8)

Used by (1)