Module Wp.CodeSemantics

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