dedekind::sets::Verdict< P, K >::FiniteSort Struct Reference

Whether a sort is a finite chain, enumerated exactly. More...

Public Member Functions
template<typename C>
constexpr bool	operator() (std::type_identity< C >) const

Detailed Description

template<typename P, typename K>
struct dedekind::sets::Verdict< P, K >::FiniteSort

Whether a sort is a finite chain, enumerated exactly.

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/sets/terms.cppm