Public Types | |
template<typename Gen > | |
using | result_t = concepts::Function::result_t< Gen > |
Public Member Functions | |
template<typename Gen , typename Result = result_t<Gen>> | |
auto | requires_ (Gen &&gen) -> decltype( concepts::valid_expr( concepts::model_of< UnsignedIntegral, Result >(), concepts::has_type< Result >(uncvref_t< Gen >::min()), concepts::has_type< Result >(uncvref_t< Gen >::max()), concepts::is_true(meta::bool_< (uncvref_t< Gen >::min()< uncvref_t< Gen >::max())>()) )) |