Module Logtk.Congruence_intf

module type S = sig ... end