{P : Sort u} →
  {toThread : Lean.Firefox.Thread} →
    {stringMap : Std.HashMap String ℕ} →
      {funcMap : Std.HashMap ℕ ℕ} →
        {stackMap : Std.HashMap (ℕ × Option ℕ) ℕ} →
          {lastTime : Float} →
            {toThread' : Lean.Firefox.Thread} →
              {stringMap' : Std.HashMap String ℕ} →
                {funcMap' : Std.HashMap ℕ ℕ} →
                  {stackMap' : Std.HashMap (ℕ × Option ℕ) ℕ} →
                    {lastTime' : Float} →
                      { toThread := toThread, stringMap := stringMap, funcMap := funcMap, stackMap := stackMap,
                            lastTime := lastTime } =
                          { toThread := toThread', stringMap := stringMap', funcMap := funcMap', stackMap := stackMap',
                            lastTime := lastTime' } →
                        (toThread = toThread' →
                            stringMap = stringMap' →
                              funcMap = funcMap' → stackMap = stackMap' → lastTime = lastTime' → P) →
                          P