You can search for identifiers within the package.
in-package search v0.2.0
type 'a t
type of a priority heap, holding elements of type 'a
val empty : 'a t
empty heap
val add : ('a -> 'a -> int) -> 'a -> 'a t -> 'a t
add cmp x h add x to the heap h with the priority p
add cmp x h
x
h
p
val remove : 'a t -> 'a * 'a t
remove h returns an element with the least priority from the heap and the resulting heap. Semantics is unspecified for equal priorities
remove h