Module Cil_datatype.Global

module Global: sig .. end

include Cil_datatype.S_with_collections_pretty
val loc : t -> Cil_types.location
val attr : t -> Cil_types.attributes
Since Phosphorus-20170501-beta1