∀ {name processType : String} {isMainThread : Bool} {samples : Lean.Firefox.SamplesTable}
  {markers : Lean.Firefox.RawMarkerTable} {stackTable : Lean.Firefox.StackTable} {frameTable : Lean.Firefox.FrameTable}
  {resourceTable nativeSymbols : Lean.Firefox.ResourceTable} {stringArray : Array String}
  {funcTable : Lean.Firefox.FuncTable} {name_1 processType_1 : String} {isMainThread_1 : Bool}
  {samples_1 : Lean.Firefox.SamplesTable} {markers_1 : Lean.Firefox.RawMarkerTable}
  {stackTable_1 : Lean.Firefox.StackTable} {frameTable_1 : Lean.Firefox.FrameTable}
  {resourceTable_1 nativeSymbols_1 : Lean.Firefox.ResourceTable} {stringArray_1 : Array String}
  {funcTable_1 : Lean.Firefox.FuncTable},
  { name := name, processType := processType, isMainThread := isMainThread, samples := samples, markers := markers,
        stackTable := stackTable, frameTable := frameTable, resourceTable := resourceTable,
        nativeSymbols := nativeSymbols, stringArray := stringArray, funcTable := funcTable } =
      { name := name_1, processType := processType_1, isMainThread := isMainThread_1, samples := samples_1,
        markers := markers_1, stackTable := stackTable_1, frameTable := frameTable_1, resourceTable := resourceTable_1,
        nativeSymbols := nativeSymbols_1, stringArray := stringArray_1, funcTable := funcTable_1 } →
    name = name_1 ∧
      processType = processType_1 ∧
        isMainThread = isMainThread_1 ∧
          samples = samples_1 ∧
            markers = markers_1 ∧
              stackTable = stackTable_1 ∧
                frameTable = frameTable_1 ∧
                  resourceTable = resourceTable_1 ∧
                    nativeSymbols = nativeSymbols_1 ∧ stringArray = stringArray_1 ∧ funcTable = funcTable_1