def Heap.push

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

import Base

65def Heap.push(~A: Data, ~le: A -> A -> Bool, x: A, h: Heap<A>) -> Heap<A>:
66  Heap.merge(~A, ~le, HNode{1n, x, HLeaf{}, HLeaf{}}, h)

Uses (3)