(motive : Lean.Expr → Sort u_1) →
  (__discr : Lean.Expr) →
    ((e : Lean.Expr) →
        (n : Lean.Name) →
          (d e' : Lean.Expr) →
            (i : Lean.BinderInfo) →
              (h : e = Lean.Expr.forallE n d e' i) → motive (namedPattern e (Lean.Expr.forallE n d e' i) h)) →
      ((x : Lean.Expr) → motive x) → motive __discr