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

• Arith : dedekind::sets
• ArrowLaw : dedekind::category
• ArrowNode : dedekind::category
• CardinalityTag : dedekind::category
• Holes : dedekind::category
• KleenePolicy : dedekind::numbers
• NumericRegion : dedekind::numbers
• Rel : dedekind::sets
• Strictness : dedekind::numbers, dedekind::sequences::bridge_meet_witness, dedekind::sequences::halfspace_iota_witness
• Ternary : dedekind::category