Documentation

Lean.ParserCompiler.Attribute

def Lean.ParserCompiler.registerCombinatorAttribute (name : Name) (descr : String) (ref : Name := by exact decl_name%) :
Equations
  • One or more equations did not get rendered due to their size.
Equations
  • attr.getDeclFor? env parserDecl = (attr.ext.getState env).find? parserDecl
Equations
Equations
  • One or more equations did not get rendered due to their size.