libtlafmt 0.4.1

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

mod comment;
mod indent;

#[allow(clippy::module_inception)]
mod renderer;

pub(crate) use renderer::*;