libtlafmt 0.4.1

A formatter library for TLA+ specs, core of tlafmt
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
//! Lowering methods that emit formatting [`Token`] from AST [`Node`].
//!
//! [`Token`]: crate::token::Token
//! [`Node`]: tree_sitter::Node

mod case;
mod comment;
mod list_item;
mod module;
mod node;

use comment::*;
use module::*;
pub(crate) use node::*;