module Make:
Parameters: |
|
type
t
val empty : t
val is_empty : t -> bool
val insert : X.t -> t -> t
val min : t -> X.t
val extract_min : t -> X.t * t
val merge : t -> t -> t
val fold : (X.t -> 'a -> 'a) -> t -> 'a -> 'a
val elements : t -> X.t list
val of_list : X.t list -> t