Module Wp.CodeSemantics

module Make (M : Sigs.Model) : Sigs.CodeSemantics with module M = M