Note that the type of the members of the list must be an SML equality
type. If set operations on a non-equality type are desired, use the ‘op_’
variants, which take an equality predicate as an extra argument.
A high-performance implementation of finite sets may be found in
structure HOLset.