Searched defs:Base_Pure (Results 1 – 4 of 4) sorted by path
11 type Base_Pure is abstract tagged private; type17 type Base_Pure is abstract new FIN.Controlled with null record; type
8 type Base_Pure is abstract tagged private; type12 type Base_Pure is abstract tagged record type
11 type Base_Pure is abstract tagged private; type16 type Base_Pure is abstract new FIN.Controlled with type