Module MemVar

module MemVar: sig .. end
Memory Model Hypotheses

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