Functor Heap.Make (.ml)

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

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