ttt/
lib.rs

1pub mod debruijn_indexed;
2pub use debruijn_indexed::DeBruijnIndexed;
3pub use ttt_derive::DeBruijnIndexed;
4
5pub mod substitute;
6pub use substitute::{SubstError, Substitute};
7pub use ttt_derive::Substitute;
8
9pub mod context;
10pub use context::{Context, ListContext, PartialContext};
11
12pub mod evaluate;
13pub use evaluate::{Evaluate, EvalError};
14pub use ttt_derive::Evaluate;