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

Method is_pattern_start

leanr-syntax/src/parser.rs:720–725  ·  view source on GitHub ↗

Check if current token can start a pattern

(&self)

Source from the content-addressed store, hash-verified

718
719 /// Check if current token can start a pattern
720 fn is_pattern_start(&self) -> bool {
721 matches!(
722 self.current().kind,
723 TokenKind::Ident(_) | TokenKind::Number(_) | TokenKind::Underscore
724 )
725 }
726}
727
728#[cfg(test)]

Callers 1

parse_patternMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected