List of all items

Structs

• goal::Conjunction
• goal::Disjunction
• goal::Fail
• goal::Predicate
• goal::UnifyVal
• goal::UnifyVar
• state::State
• state::Var

Traits

• goal::Goal
• state::Unif

Functions

• goal::conj
• goal::disj
• goal::fail
• goal::pred
• goal::unify_val
• goal::unify_vars

Type Aliases

• state::PossibleStates