libtlafmt 0.4.1

A formatter library for TLA+ specs, core of tlafmt
Documentation 
1
2
3
4
5
6
7
8
9
10

---
source: libtlafmt/src/renderer/comment.rs
expression: output
---
-------------------------------- MODULE bananas --------------------------------
Op ==
    /\ bananas = 42                  \* This is an important number.
    /\ x = 4 + 1 + 1 + 1 + 1 + 1 + 1 \* That should be assigned here.
    /\ platanos' = 42                \* That should be assigned here.
================================================================================