Crate ttt

Re-exports

pub use debruijn_indexed::DeBruijnIndexed;

pub use substitute::SubstError;

pub use substitute::Substitute;

pub use context::Context;

pub use context::ListContext;

pub use context::PartialContext;

pub use evaluate::Evaluate;

pub use evaluate::EvalError;

Modules

context

debruijn_indexed

evaluate

substitute

Derive Macros

DeBruijnIndexed

Derives an implementation of the ttt::DeBruijnIndexed trait.

Evaluate

Derives an implementation of the [ttt::Evaluate] trait.

Substitute

Derives implementations of the ttt::Substitute trait.