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