List of all items

Structs

• ast::VarSource
• quant::For
• sub::Sub
• unify::HashMap

Enums

• ast::Ast
• ast::Error
• ast::Term
• ast::Var
• unify::Cow
• uresult::UResult

Traits

• sub::SubWith
• unify::Eq
• unify::Hash
• unify::Unify
• var::FreeVars
• var::FreshVars

Derive Macros

• unify::Eq
• unify::Hash

Type Aliases

• sub::CowSub