A set-shaped carrier: exposes the ambient Domain and the logic_species. The gate constraint for the power-set customization point; the ordered specialisation conjoins it (so it subsumes this gate and wins by partial ordering for the carriers it handles). More...

Concept definition

template<typename S>
concept dedekind::sets::SetShaped =  requires {
  typename std::remove_cvref_t<S>::Domain;
  typename std::remove_cvref_t<S>::logic_species;
}

Detailed Description

A set-shaped carrier: exposes the ambient Domain and the logic_species. The gate constraint for the power-set customization point; the ordered specialisation conjoins it (so it subsumes this gate and wins by partial ordering for the carriers it handles).