Module `Heap`

Heaps

module type Ordered = sig ... end

module type S = sig ... end

module Functional : functor (X : Ordered) -> S with type elt = X.t