law Deque.to_list.new
import bend-kit-collections@0.1.4.1/deque.bend as Dequeimport Base
163# LAW: a new deque reads as the empty list
164law Deque.to_list.new:
165 for -A: Data
166 {Deque.to_list(&2, A, Deque.new(&2, A)) == Nil{} : List<&2, A>}
Uses (3)
Used by (0)
No other definition uses this definition.