Searched defs:Srec (Results 1 – 7 of 7) sorted by relevance
918 Srec : SPARK_Scope_Record renames SPARK_Scope_Table.Table (S); variable928 Srec : SPARK_Scope_Record renames SPARK_Scope_Table.Table (S); variable
968 Srec : SPARK_Scope_Record renames SPARK_Scope_Table.Table (S); variable978 Srec : SPARK_Scope_Record renames SPARK_Scope_Table.Table (S); variable
926 Srec : Alfa_Scope_Record renames Alfa_Scope_Table.Table (S); variable936 Srec : Alfa_Scope_Record renames Alfa_Scope_Table.Table (S); variable
44 GLOBAL struct fs Srec; /* Object file */ variable
458 Srec : Memtyp; variable