SeqSort constructor

SeqSort(Sort domain)

Implementation

SeqSort(this.domain);