sig
  type 'a t
  val make_empty : leq:('a -> 'a -> bool) -> 'a Aux.PRIOQUEUE.t
  val of_list : leq:('a -> 'a -> bool) -> 'a list -> 'a Aux.PRIOQUEUE.t
  val insert : 'a Aux.PRIOQUEUE.t -> 'a -> 'a Aux.PRIOQUEUE.t
  val peek : 'a Aux.PRIOQUEUE.t -> 'a
  val extract : 'a Aux.PRIOQUEUE.t -> 'a * 'a Aux.PRIOQUEUE.t
  val map :
    leq:('b -> 'b -> bool) ->
    monotone:('a -> 'b) -> 'a Aux.PRIOQUEUE.t -> 'b Aux.PRIOQUEUE.t
  exception Queue_is_empty
  val is_empty : 'a Aux.PRIOQUEUE.t -> bool
end