Module Wp.MemVar

module MemVar: sig .. end

module type VarUsage = sig .. end
module Make: 
functor (V : VarUsage-> 
functor (M : Wp.Sigs.Model-> Wp.Sigs.Model