pqueue.mli (467B)
1 (* Unison file synchronizer: src/lwt/pqueue.mli *) 2 (* Copyright 1999-2020, Benjamin C. Pierce (see COPYING for details) *) 3 4 module type OrderedType = 5 sig 6 type t 7 val compare: t -> t -> int 8 end 9 10 module type S = 11 sig 12 type elt 13 type t 14 val empty: t 15 val is_empty: t -> bool 16 val add: elt -> t -> t 17 val union: t -> t -> t 18 val find_min: t -> elt 19 val remove_min: t -> t 20 end 21 22 module Make(Ord: OrderedType) : S with type elt = Ord.t