(motive : Lean.Expr × Option (Lean.Meta.MatcherInfo → Lean.MetaM Unit) → Sort u_1) →
  (__discr : Lean.Expr × Option (Lean.Meta.MatcherInfo → Lean.MetaM Unit)) →
    ((matcher : Lean.Expr) →
        (addMatcher : Option (Lean.Meta.MatcherInfo → Lean.MetaM Unit)) → motive (matcher, addMatcher)) →
      motive __discr