def push_front
import bend-collections-laws-math@1.0.0.0/src/containers/deque.bend as Dequeimport Base
18def push_front(~T: Data, d: Deque<T>, x: T) -> Deque<T>:
19 DE{f, b, nf, nb} = d
20 DE{Con{x, f}, b, 1n+nf, nb}
import bend-collections-laws-math@1.0.0.0/src/containers/deque.bend as Dequeimport Base
18def push_front(~T: Data, d: Deque<T>, x: T) -> Deque<T>:
19 DE{f, b, nf, nb} = d
20 DE{Con{x, f}, b, 1n+nf, nb}