List of all items

Structs

• term::reduce::ReducedTerm
• term::reduce::normal::Normal

Enums

• term::Term
• term::reduce::LocalNamelessError
• term::reduce::Var

Traits

• term::reduce::BetaReduce

Macros

• abs
• app
• lambda
• var

Type Definitions

• term::reduce::LocalNamelessTerm