dedekind::sets::PlainSet Concept Reference

Concept definition

template<typename S>
concept dedekind::sets::PlainSet =  requires { typename set_predicate<S>::type; }