def Heap.to_list

bend-kit-collections@0.1.4.1 · heap.bend:98

import bend-kit-collections@0.1.4.1/heap.bend as Heap
import 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)

Uses (5)

Used by (1)