Up

module Lwt_pqueue

: sig

#

module type OrderedType = sig

#

type t

#

val compare : t -> t -> int

end

#

module type S = sig

#

type elt

#

type t

#

val empty : t

#

val is_empty : t -> bool

#

val add : elt -> t -> t

#

val union : t -> t -> t

#

val find_min : t -> elt

#

val lookup_min : t -> elt option

#

val remove_min : t -> t

#

val size : t -> int

end

#

module Make : functor (Ord : OrderedType) -> S with type elt = Ord.t

end