Module LogicSemantics

module LogicSemantics: sig .. end

Debug

cast to a logic type


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