SEQUENCE_AT

Finite Sequence Interface