Module WpAnnot.GS

module GS: Cil_datatype.Global_annotation.Set