Public Member Functions | |
template<typename Fun , typename... Args> | |
auto | requires_ (Fun &&fun, Args &&...args) -> decltype( concepts::valid_expr( concepts::convertible_to< bool >(val< Fun >()(val< Args >()...)) )) |
![]() | |
void | requires_ (Ts &&...) |
Additional Inherited Members | |
![]() | |
using | base_concepts_t = meta::list< Concepts... > |