Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
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
55
impl Default for Span {
Callers
4
select_lane
Method · 0.45
verify
Method · 0.45
parse_app_expr
Method · 0.45
parse_pattern
Method · 0.45
Calls
no outgoing calls
Tested by
no test coverage detected