def Heap.merge

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

import bend-kit-collections@0.1.4.1/heap.bend as Heap

import Base

60def Heap.merge(
61  ~A: Data, ~le: A -> A -> Bool, +a: Heap<A>, +b: Heap<A>
62) -> Heap<A>:
63  Heap.merge.go(~A, ~le, Nat.add(Heap.size(A, a), Heap.size(A, b)), a, b)

Uses (5)

Used by (7)