Method lookup

lean-agentic/src/unification.rs:33–35

Look up the assignment for a metavariable

(&self, mvar: MetaVarId)

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

    /// Check if a metavariable is assigned
    pub fn is_assigned(&self, mvar: MetaVarId) -> bool {