---
source: libtlafmt/tests/format.rs
expression: output
input_file: libtlafmt/tests/corpus/FIFO.tla
---
--------------------------------- MODULE FIFO ----------------------------------
CONSTANT Message
VARIABLES in, out
Inner(q) == INSTANCE InnerFIFO
Spec == \EE q : Inner(q)!Spec
================================================================================