Functor Congruence.Make

module Make: 
functor (Q : Common.QUEUE) -> sig .. end

val empty : unit ->
       Common.int_set ->
       Common.int_set -> ('a * Common.int_set * Common.int_set) Q.t -> bool