A concept matching all units associated with the provided quantity spec
Synopsis
Declared in <mp‐units/framework/unit_concepts.h>
template<
typename U,
auto QS>
concept UnitOf = MP_UNITS_ASSOCIATED_UNIT<U> && QuantitySpec<MP_UNITS_REMOVE_CONST(decltype(QS))> &&
(implicitly_convertible(get_quantity_spec(U{}), QS) ||
(unsatisfied<"Unit '{}' is associated with quantity of kind '{}' which is not convertible to the '{}' quantity">(
U{}, type_name(get_quantity_spec(U{})._quantity_spec_), type_name(QS))));
Description
Satisfied by all units for which an associated quantity spec is implicitly convertible to the provided QS
value.
Created with MrDocs