(motive : Lean.Meta.Match.MatchEqnsExtState → Sort u_1) →
  (x : Lean.Meta.Match.MatchEqnsExtState) →
    ((map : Lean.PHashMap Lean.Name Lean.Meta.Match.MatchEqns) →
        (eqns : Lean.PHashSet Lean.Name) → motive { map := map, eqns := eqns }) →
      motive x