law deque_ends

bend-kit-collections@0.1.4.1 · LAWS.bend:431

import Base
import bend-kit-collections@0.1.4.1/deque.bend as D

431law deque_ends:
432  {D.Deque.to_list(&2, U32, D.Deque.push_front(&2, U32, 0,
433     D.Deque.push_back(&2, U32, 2, D.Deque.push_back(&2, U32, 1, D.Deque.new(&2, U32)))))
434   == [0, 1, 2] : List<&2, U32>}