Here is a list of all enum values with links to the classes they belong to:

• Check : mim::Checker
• EPSILON : automaton::NFA
• Kind : mim::UMax
• Term : mim::UMax
• Test : mim::Checker
• Type : mim::UMax
• Univ : mim::UMax