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

Method new

leanr-syntax/src/span.rs:21–23  ·  view source on GitHub ↗

Create a new span

(start: u32, end: u32, file_id: u32)

Source from the content-addressed store, hash-verified

19impl Span {
20 /// Create a new span
21 pub fn new(start: u32, end: u32, file_id: u32) -> Self {
22 Self { start, end, file_id }
23 }
24
25 /// Create a dummy span (for testing/generated code)
26 pub fn dummy() -> Self {

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected