A Set capable of producing a Path (Enumerability). More...

Concept definition

template<typename S>
concept dedekind::sequences::IsCountableSet =  requires(S s) {
  { s.as_sequence() } -> IsSequence;
}

Detailed Description

A Set capable of producing a Path (Enumerability).