num::law::declared_t

Defined in header <core/math/laws.hpp>

template <class T>
using declared_t = typename detail::declared<std::remove_cvref_t<T>>::type;

The laws T declares.