module Make:
| Parameters: |
|
type elt
type t
val empty : tval is_empty : t -> boolval add : elt -> t -> tval union : t -> t -> tval find_min : t -> eltval lookup_min : t -> elt optionval remove_min : t -> tval size : t -> int