Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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
55
impl 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