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

Method is_constructor

lean-agentic/src/environment.rs:271–273  ·  view source on GitHub ↗

Check if a name is a constructor

(&self, name: SymbolId)

Source from the content-addressed store, hash-verified

269
270 /// Check if a name is a constructor
271 pub fn is_constructor(&self, name: SymbolId) -> bool {
272 self.constructor_to_ind.contains_key(&name)
273 }
274
275 /// Get all declarations
276 pub fn declarations(&self) -> impl Iterator<Item = (&SymbolId, &Declaration)> {

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected