num::claims

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

template <class T, class L>
concept claims = law::detail::implied<L>(law::declared_t<T>{});

True when T declares L, or a law that implies it.