def from_list

bend-collections@1.0.0.0 · src/containers/priority_queue.bend:21

import Base
import bend-collections@1.0.0.0/src/containers/binary_heap.bend as K

21def from_list(~A: Data, ~cmp: A -> A -> Cmp, xs: List<&2, A>) -> K.Heap<A>:
22  K.from_list(~A, ~cmp, xs)