module type S = sig .. end
sig
end
type elt
type t
val empty : t
t
val is_empty : t -> bool
t -> bool
val add : elt -> t -> t
elt -> t -> t
val union : t -> t -> t
t -> t -> t
val find_min : t -> elt
t -> elt
val lookup_min : t -> elt option
t -> elt option
val remove_min : t -> t
t -> t
val size : t -> int
t -> int