Module LogicSemantics

module LogicSemantics: sig .. end

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