slide
:
The ADT
Seq