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