8.13
6.50 Enumerations
Defines id_name as a predicate annotation and as a
namespace, where the namespace exports each id as the symbol
#'id and as a binding form that matches the symbol
#'id. The annotation is satisfied by each symbol
#'id and by values satisfying any of the annots
specified with ~is_a. The intersection of annots’
associated static information (and Symbol’s, if any
id is present) are associated with the resulting
annotation.
enum Mouse:
itchy
mickey minnie
jerry