Module Wp.LogicSemantics

module LogicSemantics: sig .. end

module Make: 
functor (M : Wp.Sigs.Model-> Wp.Sigs.LogicSemantics with module M = M