[−][src]Trait chalk_engine::context::InferenceTable
An "inference table" contains the state to support unification and other operations on terms.
An "inference table" contains the state to support unification and other operations on terms.