ReAllchar constructor

ReAllchar(Sort sort)

Implementation

ReAllchar(this.sort);