Exception: TlaParserS::ResolverException

Inherits:

Exception

• Object
• Exception
• TlaParserS::ResolverException

Defined in:

lib/semantics/exception.rb