∀ (type : Lean.Expr) (isPrivate : Bool) (type_1 : Lean.Expr) (isPrivate_1 : Bool),
  ({ type := type, isPrivate := isPrivate } = { type := type_1, isPrivate := isPrivate_1 }) =
    (type = type_1 ∧ isPrivate = isPrivate_1)