=========
Summary
=========

---------
Summary
---------

* Tool-enforced support for Abstract Data Types

   - Same protection as Abstract Data Machine idiom
   - Capabilities and flexibility of types

* May also be :ada:`limited`

   - Thus additionally no assignment or predefined equality
   - More on this later

* Common interface design idioms have arisen

   - Resulting from representation independence

* Assume private types as initial design choice

   - Change is inevitable
