TLX.Emitter.PlusCalC
(TLX v0.5.2)
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.