Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/agenticsorg/lean-agentic
/ new
Method
new
leanr-syntax/src/ast.rs:114–116 ·
view source on GitHub ↗
(name: String, span: Span)
Source
from the content-addressed store, hash-verified
112
113
impl Ident {
114
pub fn new(name: String, span: Span) -> Self {
115
Self { span, name }
116
}
117
}
118
119
/// Expression in surface syntax
Callers
nothing calls this directly
Calls
no outgoing calls
Tested by
no test coverage detected