https://quint.sh/docs/development-docs/architecture-decision-records/adr002-errors
ADR002: Structure of error messages and warnings | Quint Docs
ADR002: Structure of error messages and warnings, part of the Quint documentation. Quint is an executable specification language for distributed systems.
error messagesstructurewarningsquintdocs