Module Heap (.ml)

module Heap: sig .. end

exception EmptyHeap
module type OrderType = sig .. end
module type S = sig .. end
module Make: 
functor (X : OrderType) -> S with type elem = X.t