An Enumerable Set with a known Terminal Index. More...

Concept definition

template<typename S>
concept dedekind::sequences::IsTerminalSet =  IsCountableSet<S> && requires(S s) {
  { s.size() } -> std::integral;
}

Detailed Description

An Enumerable Set with a known Terminal Index.