Module Wp.LogicSemantics

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