{C : Type u_1} →
  {ι : Type u_2} →
    {inst : CategoryTheory.Category.{v_1, u_1} C} →
      {inst_1 : CategoryTheory.Category.{v_2, u_2} ι} →
        {inst_2 : CategoryTheory.Limits.HasZeroObject C} →
          {inst_3 : CategoryTheory.HasShift C ℤ} →
            {inst_4 : CategoryTheory.Preadditive C} →
              {inst_5 : ∀ (n : ℤ), (CategoryTheory.shiftFunctor C n).Additive} →
                {inst_6 : CategoryTheory.Pretriangulated C} →
                  [SizeOf C] → [SizeOf ι] → CategoryTheory.Triangulated.SpectralObject C ι → ℕ