∀ (gen? : Option Lean.Meta.Grind.GenPatternInfo) (pat : Lean.Expr) (k : ℕ) (e : Lean.Expr)
  (gen?_1 : Option Lean.Meta.Grind.GenPatternInfo) (pat_1 : Lean.Expr) (k_1 : ℕ) (e_1 : Lean.Expr),
  (Lean.Meta.Grind.EMatch.Cnstr.offset gen? pat k e = Lean.Meta.Grind.EMatch.Cnstr.offset gen?_1 pat_1 k_1 e_1) =
    (gen? = gen?_1 ∧ pat = pat_1 ∧ k = k_1 ∧ e = e_1)