String →
  String →
    Bool →
      Lean.Firefox.SamplesTable →
        Lean.Firefox.RawMarkerTable →
          Lean.Firefox.StackTable →
            Lean.Firefox.FrameTable →
              Lean.Firefox.ResourceTable →
                Lean.Firefox.ResourceTable →
                  Array String →
                    Lean.Firefox.FuncTable →
                      Std.HashMap String ℕ →
                        Std.HashMap ℕ ℕ → Std.HashMap (ℕ × Option ℕ) ℕ → Float → Lean.Firefox.ThreadWithMaps