D declares a construction: a base and the shape of its ×. More...

Concept definition

template<typename D>
concept dedekind::category::IsConstructed =  requires {
  typename construction_base<D>::type;
  { construction_base<D>::times_mixes_plus } -> std::convertible_to<bool>;
}

Detailed Description

D declares a construction: a base and the shape of its ×.

Template Parameters

D	the candidate carrier.