Module Translate_prop.Create.Hdef


module Hdef: Cil_datatype.Logic_var.Hashtbl