1 2 3 4 5 6 7 8 9
--- source: libtlafmt/src/lib.rs expression: output --- -------------------------------- MODULE Bananas -------------------------------- X == /\ x = 4 /\ y = 2 ================================================================================