module LogicCompiler: sig .. end
sig
end
type polarity = [ `Negative | `NoPolarity | `Positive ]
[ `Negative | `NoPolarity | `Positive ]
module Make: functor (M : Wp.Sigs.Model) -> sig .. end
functor (
M
:
Wp.Sigs.Model
) ->