Programming.
to see the AST for your PlusCal you can use the -writeAST flag to forego the rest of the translation just to output the AST. This is super useful tool but not without its bugs. For example, I understand that-spec and -spec2 are supposed to let you choose between version 1 and 2 of TLA+, but I’ve