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