Module tla 

TLA+ Parser module

This module implements the parse for TLA+ specification files. You can find more information on the supported syntax under ./docs/tla-to-ta.md

Structs

TLAParser

Parser for supported subset of TLA+

Enums

Rule