Here is a list of all documented namespace enums with links to the namespaces they belong to:

• domain_t : ultra
• dv_param_kind : ultra
• evaluation_context : ultra
• symbol_init : ultra