law Deque.to_list.from_list

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

import Base

243# LAW: a list read into a deque reads back as itself
244law Deque.to_list.from_list:
245  for -A: Data
246  for  xs: List<&2, A>
247  {Deque.to_list(&2, A, Deque.from_list(&2, A, xs)) == xs : List<&2, A>}