Documentation

Lean.Linter.Builtin

source
opaque Lean.Linter.linter.suspiciousUnexpanderPatterns :
Lean.Option Bool
source
def Lean.Linter.getLinterSuspiciousUnexpanderPatterns (o : LinterOptions) :
Bool
Equations
    Instances For
      source
      def Lean.Linter.suspiciousUnexpanderPatterns :
      Linter
      Equations
        Instances For