Up – Package index » coq-core » Library coq-core.clib » Heap

Module `Heap`Source

Heaps

Sourcemodule type Ordered = sig ... end

Sourcemodule type S = sig ... end

Sourceexception EmptyHeap

Sourcemodule Functional (X : Ordered) : S with type elt = X.t