dedekind::category::Take< K > Struct Template Reference

take<K>(), SQL's LIMIT: the first K present elements. More...

Detailed Description

template<std::size_t K>
struct dedekind::category::Take< K >

take<K>(), SQL's LIMIT: the first K present elements.

Template Parameters

K	the bound.

---

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

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