Searched defs:InferenceTable (Results 1 – 2 of 2) sorted by relevance
146 pub(crate) struct InferenceTable<'a> { struct149 var_unification_table: ChalkInferenceTable, argument160 impl<'a> InferenceTable<'a> { argument801 impl<'a> fmt::Debug for InferenceTable<'a> { implementation
242 impl<'a> InferenceTable<'a> { implementation