(motive : Lean.Grind.AC.Seq → Sort u_1) →
  (x : Lean.Grind.AC.Seq) →
    ((a : Lean.Grind.AC.Var) → motive (Lean.Grind.AC.Seq.var a)) →
      ((a : Lean.Grind.AC.Var) → (a_1 : Lean.Grind.AC.Seq) → motive (Lean.Grind.AC.Seq.cons a a_1)) → motive x