declareDatatype function

DatatypeInfo declareDatatype(String name, Iterable<Constructor> constructors)

Implementation

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