MCPcopy 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
113impl 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