dedekind::category::detail_comprehension::element_of< E > Struct Template Reference

The value a query's element carries: the Maybe's, or the element itself in a plain sequence. More...

Public Types
using	type = E

Detailed Description

template<typename E>
struct dedekind::category::detail_comprehension::element_of< E >

The value a query's element carries: the Maybe's, or the element itself in a plain sequence.

---

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

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