~/jendhub

def split_cons

bend-collections@1.0.0.0 · src/containers/deque.bend:26

import bend-collections@1.0.0.0/src/containers/deque.bend as Deque
import Base

26# One split traversal; keep the near half, reverse the far half.
27def split_cons(~T: Data, x: T, r: List<&2, T> & List<&2, T>) -> List<&2, T> & List<&2, T>:
28  (keep, moved) = r
29  (Con{x, keep}, moved)

Uses (3)

Used by (1)