declareDatatype function
Implementation
DatatypeInfo declareDatatype(String name, Iterable<Constructor> constructors) =>
currentContext.declareDatatype(Sym(name), constructors.toList());
DatatypeInfo declareDatatype(String name, Iterable<Constructor> constructors) =>
currentContext.declareDatatype(Sym(name), constructors.toList());