---
source: libtlafmt/tests/format.rs
expression: output
input_file: libtlafmt/tests/corpus/Reals.tla
---
--------------------------------- MODULE Reals ---------------------------------
EXTENDS Integers
LOCAL R == INSTANCE ProtoReals
Real == R!Real
a / b == R!/(a, b)
Infinity == R!Infinity
================================================================================