MCPcopy Create free account
hub / github.com/agenticsorg/lean-agentic / pop

Method pop

lean-agentic/src/context.rs:70–72  ·  view source on GitHub ↗

Pop the most recent binding

(&mut self)

Source from the content-addressed store, hash-verified

68
69 /// Pop the most recent binding
70 pub fn pop(&mut self) -> Option<ContextEntry> {
71 self.entries.pop()
72 }
73
74 /// Get the number of entries in the context
75 pub fn len(&self) -> usize {

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected