Module LogicSemantics

module LogicSemantics: sig .. end
cast to a C type

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