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

Method fmt

leanr-syntax/src/span.rs:136–138  ·  view source on GitHub ↗
(&self, f: &mut fmt::Formatter<'_>)

Source from the content-addressed store, hash-verified

134
135impl fmt::Display for Span {
136 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
137 write!(f, "{}..{}", self.start, self.end)
138 }
139}

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected