datatypeSort function

DatatypeSort datatypeSort(String name, Iterable<Constructor> constructors)

Implementation

DatatypeSort datatypeSort(String name, Iterable<Constructor> constructors) =>
    DatatypeSort(Sym(name), constructors.toList()).declare();