∀ (x : Lean.IR.VarId) (i offset : ℕ) (y : Lean.IR.VarId) (ty : Lean.IR.IRType) (b : Lean.IR.FnBody)
  (x_1 : Lean.IR.VarId) (i_1 offset_1 : ℕ) (y_1 : Lean.IR.VarId) (ty_1 : Lean.IR.IRType) (b_1 : Lean.IR.FnBody),
  (Lean.IR.FnBody.sset x i offset y ty b = Lean.IR.FnBody.sset x_1 i_1 offset_1 y_1 ty_1 b_1) =
    (x = x_1 ∧ i = i_1 ∧ offset = offset_1 ∧ y = y_1 ∧ ty = ty_1 ∧ b = b_1)