law Deque.to_list.push_back

bend-kit-collections@0.1.4.1 · deque.bend:272

import Base

272# LAW: push_back puts the element at the end of the list
273law Deque.to_list.push_back:
274  for -A: Data
275  for -x: A
276  for  d: Deque<&2, A>
277  {Deque.to_list(&2, A, Deque.push_back(&2, A, x, d))
278   == List.append(&2, A, Deque.to_list(&2, A, d), [x]) : List<&2, A>}