nkr::constant_of_tr Concept Reference

The identity inner type trait for nkr::constant_t. More...

Concept definition

template<typename type_p, typename value_p>
concept nkr::constant_of_tr = 
        nkr::constant_tr<type_p> &&
        nkr::cpp::is_tr<typename type_p::value_t, value_p>

Detailed Description

The identity inner type trait for nkr::constant_t.

Note

nkr::constant_of_tr is an entity of the nkr::constant_t Identity.