Module Factory.VarRef2

module VarRef2: sig .. end

val datatype : string
val param : Cil_types.varinfo -> MemVar.param