True if all Ts are derived classes of TBase, otherwise false. More...

Concept definition

template<class TBase, class ... Ts>

concept sir::DerivedFromT = all_derived_from_t<sizeof...(Ts) - 1, TBase, Ts...>()

True if all Ts are derived classes of TBase, otherwise false.

Definition sir.hh:789

consteval auto all_derived_from_t()

Ensures (at compile time) that all Ts are derived classes of TBase.

Definition sir.hh:778

Detailed Description

True if all Ts are derived classes of TBase, otherwise false.