Struct template is_subconcept
boost::type_erasure::is_subconcept
 Synopsis
template<typename Sub, typename Super, typename PlaceholderMap = void> 
struct is_subconcept {
};Description
является подконцепцией— булева метафункция, определяющая, является ли одно понятие подпонятием другого.
is_subconcept<incrementable<>, incrementable<> >             -> true
is_subconcept<incrementable<>, addable<> >                   -> false
is_subconcept<incrementable<_a>, forward_iterator<_iter>,
  mpl::map<mpl::pair<_a, _iter> > >                          -> true
Template Parameters
- typenameSubСубконцепция [ORIG_END] -->[ORIG_END] -->
- Супермена typenameSuper- Суперконцепция [ORIG_END] -->[ORIG_END] -->
- (факультативно) Карта MPL , ключи , , , , . Сопутствующий излучателю электоральный уровень, равный сальдо, - соответствующий градусу.- PlaceholderMap- PlaceholderMap- Superи- Sub- Sub[скрыто].
 [ORIG_END] -->