The type of a sequence of elements of type sort.
sort
SeqSort seqSort(Sort sort) => SeqSort(sort).declare();