title: How can I check to see if a element of an array exists in Ada
body: <p>How can I check the to see if an element of an array exists in Ada. Also is there any good documented site for Ada like python's or php's documentation sites, so that I can search for all the types of functions and it's uses. I am not able to find more information in google for some types of functions in Ada.</p>
  
  <pre><code>soldiers : array (0..max_number_of_soldiers - 1) of soldier_type;
  procedure Next (Index: in out Integer; Interval: Positive) is
       begin
          for I in 1..Interval loop
             loop
               Index := (Index + 1) mod Number_Of_Soldiers;
               exit when Soldiers(Index).Alive;
             end loop;
          end loop;
       end Next;
  </code></pre>
  
  <p>what does Soldiers(Index).Alive shows ? What is .alive ?</p>