Module Congruence

module Congruence: sig .. end

congruence closure algorithm, for the `up to congruence' variant of the algorithms

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