Public Types | |
template<typename Fun , typename... Args> | |
using | result_t = decltype(val< Fun >()(val< Args >()...)) |
Public Member Functions | |
template<typename Fun , typename... Args> | |
auto | requires_ (Fun &&fun, Args &&...args) -> decltype( concepts::valid_expr( concepts::model_of< CopyConstructible, uncvref_t< Fun >>(), ((void) val< Fun >()(val< Args >()...), 42) )) |