Returns the union of two or more types. The instances of the returned type are the instances of all the types. The type returned is not instantiable.
define constant $my-enumerated-type =
type-union(singleton(#"one"),
singleton(#"two"),
singleton(#"three"),
singleton(#"four"),
singleton(#"five"))
| #rest types | Instances of <object>. |
| type | An instance of <type>. |