{motive : Lean.Firefox.SamplesTable → Sort u} →
  (t : Lean.Firefox.SamplesTable) →
    ((stack : Array ℕ) →
        (time weight : Array Lean.Firefox.Milliseconds) →
          (weightType : String) →
            (threadCPUDelta : Array Lean.Firefox.Microseconds) →
              (length : ℕ) →
                motive
                  { stack := stack, time := time, weight := weight, weightType := weightType,
                    threadCPUDelta := threadCPUDelta, length := length }) →
      motive t