declareDatatype method
Implementation
DatatypeInfo declareDatatype(Sym name, List<Constructor> constructors) {
return getDatatypeInfo(DatatypeSort(name, constructors));
}
DatatypeInfo declareDatatype(Sym name, List<Constructor> constructors) {
return getDatatypeInfo(DatatypeSort(name, constructors));
}