==============
Introduction
==============

-------------------
Container Library
-------------------

* :ada:`Ada.Containers` parent package
* Packages (including generics)

    - Different types of data containers
    - Hold an :ada:`Element` type
    - Container types are :ada:`tagged`

* Types defined as a product of both

    - A data structure
    - An implementation

* Containers share sets of operations

    - Seen later

