declareDatatype function

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

Declare a datatype with the given name and constructors.

Implementation

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