sig
  type t
  type elt
  val create : unit -> Pqueue.Max.t
  val length : Pqueue.Max.t -> int
  val is_empty : Pqueue.Max.t -> bool
  val add : Pqueue.Max.t -> Pqueue.Max.elt -> unit
  val add_iter :
    Pqueue.Max.t -> ((Pqueue.Max.elt -> unit) -> 'x -> unit) -> 'x -> unit
  val max_elt : Pqueue.Max.t -> Pqueue.Max.elt option
  val get_max_elt : Pqueue.Max.t -> Pqueue.Max.elt
  val pop_max : Pqueue.Max.t -> Pqueue.Max.elt option
  val remove_max : Pqueue.Max.t -> unit
  val clear : Pqueue.Max.t -> unit
  val copy : Pqueue.Max.t -> Pqueue.Max.t
  val of_array : Pqueue.Max.elt array -> Pqueue.Max.t
  val of_list : Pqueue.Max.elt list -> Pqueue.Max.t
  val of_iter :
    ((Pqueue.Max.elt -> unit) -> 'x -> unit) -> 'x -> Pqueue.Max.t
  val iter_unordered : (Pqueue.Max.elt -> unit) -> Pqueue.Max.t -> unit
  val fold_unordered :
    ('acc -> Pqueue.Max.elt -> 'acc) -> 'acc -> Pqueue.Max.t -> 'acc
end