Unify two terms
(&mut self, t1: TermId, t2: TermId)
| 93 | |
| 94 | /// Unify two terms |
| 95 | pub fn unify(&mut self, t1: TermId, t2: TermId) { |
| 96 | self.add_constraint(Constraint::Unify(t1, t2)); |
| 97 | } |
| 98 | |
| 99 | /// Declare a metavariable with its type |
| 100 | pub fn declare_mvar(&mut self, mvar: MetaVarId, ty: TermId) { |