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

Method is_atomic_start

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

Check if current token can start an atomic expression

(&self)

Source from the content-addressed store, hash-verified

704
705 /// Check if current token can start an atomic expression
706 fn is_atomic_start(&self) -> bool {
707 matches!(
708 self.current().kind,
709 TokenKind::Ident(_)
710 | TokenKind::Number(_)
711 | TokenKind::String(_)
712 | TokenKind::Underscore
713 | TokenKind::Type
714 | TokenKind::Prop
715 | TokenKind::LParen
716 )
717 }
718
719 /// Check if current token can start a pattern
720 fn is_pattern_start(&self) -> bool {

Callers 1

parse_app_exprMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected