constructor function
Implementation
Constructor constructor(
String name, String recognizer, Map<String, Sort> fields) =>
Constructor(Sym(name), Sym(recognizer),
fields.map((key, value) => MapEntry(Sym(key), value)));
Constructor constructor(
String name, String recognizer, Map<String, Sort> fields) =>
Constructor(Sym(name), Sym(recognizer),
fields.map((key, value) => MapEntry(Sym(key), value)));