Module Wp.LogicSemantics

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