declareDatatype method

DatatypeInfo declareDatatype(
  1. Sym name,
  2. List<Constructor> constructors
)

Declare a datatype with the given name and constructors.

Implementation

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