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