@[inline]

def Lean.Parser.precedenceParser (rbp : optParam Nat 0) : Lean.Parser.Parser

@[inline]

def Lean.Parser.syntaxParser (rbp : optParam Nat 0) : Lean.Parser.Parser

def Lean.Parser.precedence : Lean.Parser.Parser

def Lean.Parser.optPrecedence : Lean.Parser.Parser

def Lean.Parser.Syntax.numPrec : Lean.Parser.Parser

def Lean.Parser.Syntax.paren : Lean.Parser.Parser

def Lean.Parser.Syntax.cat : Lean.Parser.Parser

def Lean.Parser.Syntax.unary : Lean.Parser.Parser

def Lean.Parser.Syntax.binary : Lean.Parser.Parser

def Lean.Parser.Syntax.sepBy : Lean.Parser.Parser

def Lean.Parser.Syntax.sepBy1 : Lean.Parser.Parser

def Lean.Parser.Syntax.atom : Lean.Parser.Parser

def Lean.Parser.Syntax.nonReserved : Lean.Parser.Parser

def Lean.Parser.Command.namedName : Lean.Parser.Parser

def Lean.Parser.Command.optNamedName : Lean.Parser.Parser

def Lean.Parser.Command.prefix : Lean.Parser.Parser

def Lean.Parser.Command.infix : Lean.Parser.Parser

def Lean.Parser.Command.infixl : Lean.Parser.Parser

def Lean.Parser.Command.infixr : Lean.Parser.Parser

def Lean.Parser.Command.postfix : Lean.Parser.Parser

def Lean.Parser.Command.mixfixKind : Lean.Parser.Parser

def Lean.Parser.Command.mixfix : Lean.Parser.Parser

def Lean.Parser.Command.identPrec : Lean.Parser.Parser

def Lean.Parser.Command.optKind : Lean.Parser.Parser

def Lean.Parser.Command.notationItem : Lean.Parser.Parser

def Lean.Parser.Command.notation : Lean.Parser.Parser

def Lean.Parser.Command.macro_rules : Lean.Parser.Parser

def Lean.Parser.Command.syntax : Lean.Parser.Parser

def Lean.Parser.Command.syntaxAbbrev : Lean.Parser.Parser

def Lean.Parser.Command.catBehaviorBoth : Lean.Parser.Parser

def Lean.Parser.Command.catBehaviorSymbol : Lean.Parser.Parser

def Lean.Parser.Command.catBehavior : Lean.Parser.Parser

def Lean.Parser.Command.syntaxCat : Lean.Parser.Parser

def Lean.Parser.Command.macroArg : Lean.Parser.Parser

def Lean.Parser.Command.macroRhs : Lean.Parser.Parser

def Lean.Parser.Command.macroTail : Lean.Parser.Parser

def Lean.Parser.Command.macro : Lean.Parser.Parser

def Lean.Parser.Command.elab_rules : Lean.Parser.Parser

def Lean.Parser.Command.elabArg : Lean.Parser.Parser

def Lean.Parser.Command.elabTail : Lean.Parser.Parser

def Lean.Parser.Command.elab : Lean.Parser.Parser