def front_split

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

import Base

40def front_split(~T: Data, +n: Nat, +half: Nat, r: List<&2, T> & List<&2, T>) -> Deque<T>:
41  (keep, moved) = r
42  DE{moved, keep, Nat.sub(n, half), half}