Here is a list of all namespace enum values with links to the namespace documentation for each enum value:

• Ac : mim::Node
• App : mim::Node
• Arr : mim::Node
• Axiom : mim::Node
• Bot : mim::Node
• Extract : mim::Node
• Global : mim::Node
• Idx : mim::Node
• Infer : mim::Node
• Insert : mim::Node
• Join : mim::Node
• Lam : mim::Node
• Lit : mim::Node
• Meet : mim::Node
• Nat : mim::Node
• Pack : mim::Node
• Pi : mim::Node
• Pick : mim::Node
• Proxy : mim::Node
• Sigma : mim::Node
• Singleton : mim::Node
• Test : mim::Node
• Top : mim::Node
• Tuple : mim::Node
• Type : mim::Node
• UInc : mim::Node
• UMax : mim::Node
• Univ : mim::Node
• Var : mim::Node
• Vel : mim::Node