(motive : Array Lean.Expr × Lean.Meta.ExtractLets.State → Sort u_1) →
  (__discr : Array Lean.Expr × Lean.Meta.ExtractLets.State) →
    ((es : Array Lean.Expr) → (st : Lean.Meta.ExtractLets.State) → motive (es, st)) → motive __discr