def from_list_go

bend-collections@1.0.0.0 · src/containers/binary_heap.bend:291

import Base

291def from_list_go(~A: Data, ~cmp: A -> A -> Cmp, xs: List<&2, A>, h: Heap<A>) -> Heap<A>:
292  match xs:
293    case Nil{}:
294      h
295    case Con{x, rest}:
296      from_list_go(~A, ~cmp, rest, push(~A, ~cmp, h, x))