Searched refs:Positive_Index (Results 1 – 1 of 1) sorted by relevance
65 subtype Positive_Index is Index range 1 .. Index'Last; subtype72 Automat : constant array (Positive_Index) of Node :=