structure Lean.ParserCompiler.CombinatorAttribute : Type

• impl : Lean.AttributeImpl
• ext : Lean.SimplePersistentEnvExtension (Lean.Name × Lean.Name) (Lean.NameMap Lean.Name)

instance Lean.ParserCompiler.instInhabitedCombinatorAttribute : Inhabited Lean.ParserCompiler.CombinatorAttribute

def Lean.ParserCompiler.registerCombinatorAttribute (name : Lean.Name) (descr : String) (ref : Lean.Name := by exact decl_name%) : IO Lean.ParserCompiler.CombinatorAttribute

def Lean.ParserCompiler.CombinatorAttribute.getDeclFor? (attr : Lean.ParserCompiler.CombinatorAttribute) (env : Lean.Environment) (parserDecl : Lean.Name) : Option Lean.Name

def Lean.ParserCompiler.CombinatorAttribute.setDeclFor (attr : Lean.ParserCompiler.CombinatorAttribute) (env : Lean.Environment) (parserDecl decl : Lean.Name) : Lean.Environment

unsafe def Lean.ParserCompiler.CombinatorAttribute.runDeclFor {α : Type} (attr : Lean.ParserCompiler.CombinatorAttribute) (parserDecl : Lean.Name) : Lean.CoreM α