∀ (numSubgoals : ℕ) (run : Array (Array Lean.Syntax.Tactic) → Lean.Syntax.Tactic) (numSubgoals_1 : ℕ)
  (run_1 : Array (Array Lean.Syntax.Tactic) → Lean.Syntax.Tactic),
  ({ numSubgoals := numSubgoals, run := run } = { numSubgoals := numSubgoals_1, run := run_1 }) =
    (numSubgoals = numSubgoals_1 ∧ run = run_1)