Method assign

lean-agentic/src/unification.rs:28–30

Assign a metavariable to a term

(&mut self, mvar: MetaVarId, term: TermId)

    /// Assign a metavariable to a term
    pub fn assign(&mut self, mvar: MetaVarId, term: TermId) {
        self.assignments.insert(mvar, term);
    }

    /// Look up the assignment for a metavariable
    pub fn lookup(&self, mvar: MetaVarId) -> Option<TermId> {