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

Method is_empty

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

Check if the context is empty

(&self)

Source from the content-addressed store, hash-verified

78
79 /// Check if the context is empty
80 pub fn is_empty(&self) -> bool {
81 self.entries.is_empty()
82 }
83
84 /// Look up a variable by de Bruijn index
85 ///

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected