EmptySeq constructor

EmptySeq(Sort sort)

Implementation

EmptySeq(this.sort);