DatatypeInfo constructor

DatatypeInfo(DatatypeSort sort, List<ConstructorInfo> constructors)

Implementation

DatatypeInfo(this.sort, this.constructors);