(motive : Aesop.Frontend.BuilderOption → Sort u_1) →
  (x : Aesop.Frontend.BuilderOption) →
    ((ns : Array Lean.Name) → motive (Aesop.Frontend.BuilderOption.immediate ns)) →
      ((imode : Aesop.IndexingMode) → motive (Aesop.Frontend.BuilderOption.index imode)) →
        ((pat : Lean.Term) → motive (Aesop.Frontend.BuilderOption.pattern pat)) →
          ((ps : Array Aesop.CasesPattern) → motive (Aesop.Frontend.BuilderOption.casesPatterns ps)) →
            ((md : Lean.Meta.TransparencyMode) →
                (alsoForIndex : Bool) → motive (Aesop.Frontend.BuilderOption.transparency md alsoForIndex)) →
              motive x