Graph.Heap
module type Ordered = sig ... end
exception
EmptyHeap
module Imperative : functor (X : Ordered) -> sig ... end