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

Method dummy

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

Create a dummy span (for testing/generated code)

()

Source from the content-addressed store, hash-verified

24
25 /// Create a dummy span (for testing/generated code)
26 pub fn dummy() -> Self {
27 Self {
28 start: 0,
29 end: 0,
30 file_id: u32::MAX,
31 }
32 }
33
34 /// Combine two spans into a single span covering both
35 pub fn to(self, other: Span) -> Span {

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected