dedekind::category::detail_comprehension::bound_of< Coalg > Struct Template Reference

The most elements a walk presents: a take's K, or a bounded list's, kept by each SELECT and WHERE after it (a map presents no more than it reads). No member where nothing bounds the walk. More...

Inheritance diagram for dedekind::category::detail_comprehension::bound_of< Coalg >:

Detailed Description

template<typename Coalg>
struct dedekind::category::detail_comprehension::bound_of< Coalg >

The most elements a walk presents: a take's K, or a bounded list's, kept by each SELECT and WHERE after it (a map presents no more than it reads). No member where nothing bounds the walk.

---

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

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