∀ (ty : Option Q(Lean.Expr)) (fvarId : Lean.FVarId) (userName : Lean.Name) (ty_1 : Option Q(Lean.Expr))
  (fvarId_1 : Lean.FVarId) (userName_1 : Lean.Name),
  ({ ty := ty, fvarId := fvarId, userName := userName } = { ty := ty_1, fvarId := fvarId_1, userName := userName_1 }) =
    (ty = ty_1 ∧ fvarId = fvarId_1 ∧ userName = userName_1)