Functor Heap.Make (.ml)

module Make: 
functor (X : OrderType) -> S with type elem = X.t
Parameters:
X : OrderType

type t 
type elem 
val empty : t
val pop : t -> elem * t
val add : t -> elem list -> t
val elements : t -> elem list
val length : t -> int