Searched defs:Earg_Type (Results 1 – 1 of 1) sorted by relevance
161 type Earg_Type is private; type276 type Earg_Type (Kind : Earg_Kind := Earg_None) is record type