DatatypeSort constructor

DatatypeSort(Sym name, List<Constructor> _constructors)

Implementation

DatatypeSort(this.name, this._constructors);