libtlafmt 0.3.2

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

#![allow(missing_docs)]

fn main() {
    // This statement prevents cargo from complaining about an unknown (to it)
    // cfg for fuzzing.
    println!("cargo::rustc-check-cfg=cfg(fuzzing)");
}