Up
–
logtk
»
Logtk
» Congruence_intf
Module
Logtk.Congruence_intf
module type
S
=
sig
...
end