Concept definition

template<typename _TLeft_, typename _TRight_>
concept knowCore::details::left_unsigned_right_signed =  std::unsigned_integral<_TLeft_> and std::signed_integral<_TRight_>
        and std::integral<_TRight_>