---- kpp::roll_t << Type System << Kpp c++ ----
kpp::roll_t is a c++ type trait of kpp c++ library. kpp::roll_t has three template arguments: condition, type_t00, type_t01. If condition is true, result type is type_t00, otherwise it is type_t01.
kpp::roll_t Sig:
template <bool condition, typename type_t00, typename type_t01> using roll_t = ...;
#include <kpp/types.hpp>
#include <kpp/types.hpp> int main() { using type = kpp::roll_t<true, int, char>; kpp::same_assert<type, int>{}; }