(motive : Lean.Firefox.StackTable → Sort u_1) →
  (stackTable : Lean.Firefox.StackTable) →
    ((frame category subcategory : Array ℕ) →
        («prefix» : Array (Option ℕ)) →
          (length : ℕ) →
            motive
              { frame := frame, category := category, subcategory := subcategory, «prefix» := «prefix»,
                length := length }) →
      motive stackTable