Module Heap.Imperative

Parameters

• X : Ordered

Signature

type t

val create : int -> t

val is_empty : t -> bool

val add : t -> X.t -> unit

val maximum : t -> X.t

val remove : t -> unit

val pop_maximum : t -> X.t

val iter : (X.t -> unit) -> t -> unit

val fold : (X.t -> 'a -> 'a) -> t -> 'a -> 'a