ReEmpty constructor

ReEmpty(Sort sort)

Implementation

ReEmpty(this.sort);