Up
–
libzipperposition
»
Libzipperposition_calculi
» Superposition_intf
Module
Libzipperposition_calculi.Superposition_intf
module type
S
=
sig
...
end