Documentation

Lean.ParserCompiler.Attribute

def Lean.ParserCompiler.registerCombinatorAttribute (name : Name) (descr : String) (ref : Name := by exact decl_name%) :
Equations
    Instances For
      Equations
        Instances For
          Equations
            Instances For