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