Module type Heap.S

module type S = sig .. end

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