{motive : Aesop.StatsExtensionEntry → Sort u} →
  (t : Aesop.StatsExtensionEntry) →
    ((aesopStx : Lean.Syntax) →
        (fileName : String) →
          (position? : Option Lean.Position) →
            (stats : Aesop.Stats) →
              motive { aesopStx := aesopStx, fileName := fileName, position? := position?, stats := stats }) →
      motive t