Module Wp.LogicSemantics

module LogicSemantics: sig .. end

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