We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
During parsing, tntc should check that all names and types are defined, raising meaningful errors otherwise.
tntc