TLX.Emitter.TLA
(TLX v0.5.2)
Copy Markdown
Emits a TLA+ module from a compiled TLX.Spec module.
Summary
Functions
Generate a TLA+ string from a compiled spec module.
Emits a TLA+ module from a compiled TLX.Spec module.
Generate a TLA+ string from a compiled spec module.