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

Method span_text

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

Get the text for a span

(&self, span: Span)

Source from the content-addressed store, hash-verified

111
112 /// Get the text for a span
113 pub fn span_text(&self, span: Span) -> &str {
114 &self.content[span.start as usize..span.end as usize]
115 }
116
117 /// Get a line of source code
118 pub fn line(&self, line_num: u32) -> Option<&str> {

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected