Heap.Heap.pop: def of bend-kit-collections@0.1.4.1
Import: import bend-kit-collections@0.1.4.1/heap.bend as Heap
Lines 68-76 of bend-kit-collections@0.1.4.1/heap.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-collections@0.1.4.1/heap.bend&start_line=68&end_line=76

import Base

# the top, and the heap without it; None on an empty heap
def Heap.pop(
  ~A: Data, ~le: A -> A -> Bool, h: Heap<A>
) -> Maybe<&1, A & Heap<A>>:
  match h:
    case HLeaf{}:
      None{}
    case HNode{n, x, l, r}:
      Some{(x, Heap.merge(~A, ~le, l, r))}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bend-kit-collections@0.1.4.1/heap.bend&name=Heap
  https://jend.leeeet.dev/definition.txt?path=bend-kit-collections@0.1.4.1/heap.bend&name=Heap.merge