def back_split

bend-collections-laws-math@1.0.0.0 · src/containers/deque.bend:44

import Base

44def back_split(~T: Data, +n: Nat, +half: Nat, r: List<&2, T> & List<&2, T>) -> Deque<T>:
45  (keep, moved) = r
46  DE{keep, moved, half, Nat.sub(n, half)}