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

- h -

• has_quantifier() : dedekind::sets
• holds() : dedekind::category
• holds_on_walk() : dedekind::category