Ada Programming/Libraries/Ada.Iterator Interfaces

is a unit of the Predefined Language Environment since Ada 2012.

Specification
Cursor Has_Element Position Cursor  Boolean Pure Iterator_Interfaces Forward_Iterator First Object Forward_Iterator  Cursor Next Object Forward_Iterator Position  Cursor Cursor Reversible_Iterator    Forward_Iterator Last Object Reversible_Iterator  Cursor Previous Object Reversible_Iterator Position  Cursor Cursor AdaIterator_Interfaces

Wikibook

 * Ada Programming/Libraries/Ada