structure Lean.ParserCompiler.CombinatorAttribute : Type

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

@[instance_reducible]

instance Lean.ParserCompiler.instInhabitedCombinatorAttribute : Inhabited CombinatorAttribute

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

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

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

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