Lean.Meta.Grind.Origin →
  Array Lean.Name →
    Lean.Expr →
      Lean.Meta.Grind.EMatchTheoremKind →
        Lean.Meta.Grind.SymbolPriorities →
          optParam Bool true →
            optParam Bool false → optParam Bool false → Lean.MetaM (Option Lean.Meta.Grind.EMatchTheorem)