Module Wp.CodeSemantics

module CodeSemantics: sig .. end

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