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

Method default

leanr-syntax/src/span.rs:56–58  ·  view source on GitHub ↗
()

Source from the content-addressed store, hash-verified

54
55impl Default for Span {
56 fn default() -> Self {
57 Self::dummy()
58 }
59}
60
61/// A source file with content

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected