Method push

lean-agentic/src/context.rs:60–62

Push a new binding onto the context

(&mut self, entry: ContextEntry)

    /// Push a new binding onto the context
    pub fn push(&mut self, entry: ContextEntry) {
        self.entries.push(entry);
    }

    /// Push a simple variable binding
    pub fn push_var(&mut self, name: SymbolId, ty: TermId) {