Binary_heap
module type Ordered = sig ... end
exception Empty
module Make : functor (X : Ordered) -> sig ... end