[Ur] equality types and xml

[Gergely Buday]

Hi,

do I understand correctly that only the following built-in types admit equality?

class eq
val eq : t ::: Type -> eq t -> t -> t -> bool
val ne : t ::: Type -> eq t -> t -> t -> bool
val eq_int : eq int
val eq_float : eq float
val eq_string : eq string
val eq_char : eq char
val eq_bool : eq bool
val eq_time : eq time
val mkEq : t ::: Type -> (t -> t -> bool) -> eq t

And, what about xml? Is it not possible to compare two xml fragments?

And, the only other types that have equality are those that I create
an equality function with mkEq for?

- Gergely