Module Factory.VarRef0

module VarRef0: sig .. end

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