Array ℤ →
  Array ℕ →
    Array (Option ℕ) →
      Array (Option ℕ) →
        Array ℕ →
          Array (Option Lean.Json) →
            Array (Option Lean.Json) →
              Array (Option Lean.Json) → Array (Option ℕ) → Array (Option ℕ) → ℕ → Lean.Firefox.FrameTable