Module Datascope.CA_Map

module CA_Map: Cil_datatype.Code_annotation.Map