TLX.Emitter.PlusCalC
(TLX v0.5.3)
Copy Markdown
Emits a PlusCal algorithm (C-syntax) from a compiled TLX.Spec module,
wrapped in a valid .tla file.
Summary
Functions
Generate a PlusCal .tla string from a compiled spec module.