{motive : Aesop.RuleBuilderOptions → Sort u} →
  ((immediatePremises? : Option (Array Lean.Name)) →
      (indexingMode? : Option Aesop.IndexingMode) →
        (casesPatterns? : Option (Array Aesop.CasesPattern)) →
          (pattern? : Option Lean.Term) →
            (transparency? indexTransparency? : Option Lean.Meta.TransparencyMode) →
              motive
                { immediatePremises? := immediatePremises?, indexingMode? := indexingMode?,
                  casesPatterns? := casesPatterns?, pattern? := pattern?, transparency? := transparency?,
                  indexTransparency? := indexTransparency? }) →
    (t : Aesop.RuleBuilderOptions) → motive t