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

Path E to totality: by construction. Defined below is_total, which it recurses into on the base. More...

Inheritance diagram for dedekind::category::is_total_by_construction< T, Op >:

Collaboration diagram for dedekind::category::is_total_by_construction< T, Op >:

Detailed Description

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

Path E to totality: by construction. Defined below is_total, which it recurses into on the base.

Template Parameters

T	the carrier.
Op	the operation on T.

---

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

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