catlog/tt/util/
mod.rs

1//! Various utilities that are not strictly tied to the specific type theory.
2//!
3//! Perhaps some of these could move to [crate::zero].
4
5pub mod dtry;
6pub mod idx;
7pub mod pretty;
8pub mod row;
9
10pub use dtry::*;
11pub use idx::*;
12pub use pretty::*;
13pub use row::*;