{α : Type} →
  autoParam Lean.Name Lean.AttributeImplCore.ref._autoParam →
    Lean.Name →
      String →
        Lean.AttributeApplicationTime →
          (Lean.Name → Lean.Syntax → Lean.AttrM α) →
            (Lean.Name → α → Lean.AttrM Unit) →
              Bool → (Lean.Environment → Lean.Name → α → Bool) → Lean.ParametricAttributeImpl α