def move_back
import bend-collections-laws-math@1.0.0.0/src/containers/deque.bend as Dequeimport Base
51def move_back(~T: Data, f: List<&2, T>, +n: Nat, +half: Nat) -> Deque<T>:
52 back_split(~T, n, half, split(~T, half, f))
import bend-collections-laws-math@1.0.0.0/src/containers/deque.bend as Dequeimport Base
51def move_back(~T: Data, f: List<&2, T>, +n: Nat, +half: Nat) -> Deque<T>:
52 back_split(~T, n, half, split(~T, half, f))