declareTupleNamed function

TupleInfo declareTupleNamed(
  1. String name,
  2. Map<String, Sort> fields
)

Declares a tuple with the given name and fields, like declareTuple but the fields are explicitly named.

Implementation

TupleInfo declareTupleNamed(String name, Map<String, Sort> fields) =>
    currentContext.declareTuple(
      Sym(name),
      fields.map((key, value) => MapEntry(Sym(key), value)),
    );