Array Lean.Name →
  Lean.Expr →
    ℕ →
      List Lean.Expr →
        List Lean.HeadIndex →
          Lean.Meta.Grind.Origin →
            Lean.Meta.Grind.EMatchTheoremKind →
              Bool → List Lean.Meta.Grind.EMatchTheoremConstraint → Lean.Meta.Grind.EMatchTheorem