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

Method is_empty

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

Check if this span is empty

(&self)

Source from the content-addressed store, hash-verified

48
49 /// Check if this span is empty
50 pub fn is_empty(&self) -> bool {
51 self.start >= self.end
52 }
53}
54
55impl Default for Span {

Callers 4

select_laneMethod · 0.45
verifyMethod · 0.45
parse_app_exprMethod · 0.45
parse_patternMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected