(motive : Lean.Firefox.SamplesTable → Sort u_1) →
  (samples : Lean.Firefox.SamplesTable) →
    ((s1 : Array ℕ) →
        (s2 weight : Array Lean.Firefox.Milliseconds) →
          (s3 : String) →
            (s4 : Array Lean.Firefox.Microseconds) →
              (s5 : ℕ) →
                motive
                  { stack := s1, time := s2, weight := weight, weightType := s3, threadCPUDelta := s4, length := s5 }) →
      motive samples