constructor function

Constructor constructor(
  1. String name,
  2. String recognizer,
  3. Map<String, Sort> fields
)

Implementation

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