dedekind::category::inverse_trait< T, Op > Struct Template Reference

The Formal Trait: Hooks the bridge into the Concept system. More...

Static Public Attributes
static constexpr bool	exists

Detailed Description

template<typename T, typename Op>
struct dedekind::category::inverse_trait< T, Op >

The Formal Trait: Hooks the bridge into the Concept system.

Member Data Documentation

exists

template<typename T, typename Op>

bool dedekind::category::inverse_trait< T, Op >::exists

staticconstexpr

Initial value:

= requires(T a) {
    { inverse(a, Op{}) } -> std::same_as<T>;
  }

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/category/species.cppm