num::math::domain_t

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

template <class T>
using domain_t = typename detail::domain_of<std::remove_cvref_t<T>>::type;

Space an operator acts on: its domain_type, or a specialization of detail::domain_of for a type that cannot declare one.