Module Wp.LogicCompiler

module LogicCompiler: sig .. end

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