{motive : Lean.Grind.IntInterval → Sort u} →
  ((lo hi : ℤ) → motive (Lean.Grind.IntInterval.co lo hi)) →
    ((lo : ℤ) → motive (Lean.Grind.IntInterval.ci lo)) →
      ((hi : ℤ) → motive (Lean.Grind.IntInterval.io hi)) →
        motive Lean.Grind.IntInterval.ii → (t : Lean.Grind.IntInterval) → motive t