Module Miou_pqueue.Make

Parameters

module X : sig ... end

Signature

type elt = X.t
type t
val create : unit -> t
val is_empty : t -> bool
val size : t -> int
val find_min : t -> elt option
exception Empty
val find_min_exn : t -> elt
val delete_min_exn : t -> unit
val extract_min_exn : t -> elt
val insert : elt -> t -> unit
val iter : (elt -> unit) -> t -> unit