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

Class Ident

leanr-syntax/src/ast.rs:108–111  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

106/// Identifier
107#[derive(Debug, Clone, PartialEq, Eq, Hash)]
108pub struct Ident {
109 pub span: Span,
110 pub name: String,
111}
112
113impl Ident {
114 pub fn new(name: String, span: Span) -> Self {

Callers 2

parse_atomic_exprMethod · 0.85
lex_identifierMethod · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected