{motive : Lean.Firefox.FuncTable → Sort u} →
  (t : Lean.Firefox.FuncTable) →
    ((name : Array ℕ) →
        (isJS relevantForJS : Array Lean.Json) →
          (resource : Array ℤ) →
            (fileName lineNumber columnNumber : Array (Option ℕ)) →
              (length : ℕ) →
                motive
                  { name := name, isJS := isJS, relevantForJS := relevantForJS, resource := resource,
                    fileName := fileName, lineNumber := lineNumber, columnNumber := columnNumber, length := length }) →
      motive t