UninterpretedSort constructor

UninterpretedSort(Sym name)

Implementation

UninterpretedSort(this.name);