BinaryHeap.slot_or: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/containers/binary_heap.bend as BinaryHeap
Lines 63-70 of bend-collections@1.0.0.0/src/containers/binary_heap.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/containers/binary_heap.bend&start_line=63&end_line=70

import Base

# The slot value, with a default that a well-formed heap never needs (every
# index a sift loop reads is inside [0, size), where the slot is Some).
def slot_or(~A: Data, d: A, m: Maybe<&2, A>) -> A:
  match m:
    case None{}:
      d
    case Some{v}:
      v

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe