Functor Congruence.Make

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

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