def Heap.to_list
import bend-kit-collections@0.1.4.1/heap.bend as Heapimport Base
98# the elements, smallest first
99def Heap.to_list(~A: Data, ~le: A -> A -> Bool, +h: Heap<A>) -> List<&2, A>:
100 Heap.to_list.go(~A, ~le, Heap.size(A, h), h)
import bend-kit-collections@0.1.4.1/heap.bend as Heapimport Base
98# the elements, smallest first
99def Heap.to_list(~A: Data, ~le: A -> A -> Bool, +h: Heap<A>) -> List<&2, A>:
100 Heap.to_list.go(~A, ~le, Heap.size(A, h), h)