Exception: TlaParserS::ContextException

Inherits:

Exception

• Object
• Exception
• TlaParserS::ContextException

Defined in:

lib/semantics/exception.rb