Module Funvar_mem.Create.Xmap


module Xmap: Cil_datatype.Varinfo.Map