\sli{

Sequence

seq

Extensional specification

Concatenation operation

Access

-- observers }