Trait chalk_engine::context::InferenceTable

pub trait InferenceTable<I: Interner, C: Context<I>>: ResolventOps<I, C> + TruncateOps<I, C> + UnificationOps<I, C> { }

An "inference table" contains the state to support unification and other operations on terms.

Implementors

Loading content...