src/containers/types/binary_heap.bend source

src/containers/types/binary_heap.bend on the hub · documented module

import Base# Neutral datatypes shared by src/binary_heap.bend and spec/binary_heap.bend.type Error is Data:  EmptyHeap{}type Op<-A: Data> is Data:  Length{}  Push{value: A}  Peek{}  Pop{}  FromList{items: List<&2, A>}  ToSortedList{}type Obs<-A: Data> is Data:  ONat{value: Nat}  OItem{result: Result<&2, &2, Error, A>}  OUnit{}  OList{items: List<&2, A>}