Crate ttt_derive

Source

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.