lambda_value_type

using libsemigroups::KoniecznyTraits::lambda_value_type = typename ::libsemigroups::LambdaValue<element_type>::type

Defined in adapters.hpp.

This type should be a stateless struct with a single typedef type representing the type that should be used or returned by a Lambda struct.

The second template parameter exists for SFINAE in overload resolution.

Template Parameters
  • TElementType: the type of the semigroup elements.

Used by KoniecznyTraits.