ntlib::MultiplicativeSemigroup Concept Reference

Restricts to types modeling a multiplication semigroup. More...

Concept definition

template<typename T>
concept MultiplicativeSemigroup = requires(T a, T b) {
  // Require that `operator*(T,T)` is overloaded.
  { a * b } -> std::convertible_to<T>;
}

Detailed Description

Restricts to types modeling a multiplication semigroup.

Template Parameters

T	A set with an associative inner multiplication operation.