Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/agenticsorg/lean-agentic
/ current
Method
current
leanr-syntax/src/parser.rs:687–689 ·
view source on GitHub ↗
Get current token
(&self)
Source
from the content-addressed store, hash-verified
685
686
/// Get current token
687
fn current(&self) -> &Token {
688
&self.tokens[self.pos.min(self.tokens.len() - 1)]
689
}
690
691
/// Advance to next token
692
fn advance(&mut self) -> Token {
Callers
7
parse_decl
Method · 0.80
parse_params
Method · 0.80
parse_atomic_expr
Method · 0.80
parse_pattern
Method · 0.80
parse_ident
Method · 0.80
check
Method · 0.80
expect
Method · 0.80
Calls
1
len
Method · 0.45
Tested by
no test coverage detected