Module CodeSemantics

module CodeSemantics: sig .. end

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