EmptySet constructor

EmptySet(Sort sort)

Implementation

EmptySet(this.sort);