dedekind::category::detail_comprehension::KernelAt< T, K > Struct Template Reference

The kernel at one more prefix. More...

Collaboration diagram for dedekind::category::detail_comprehension::KernelAt< T, K >:

Public Member Functions
constexpr Cod< K >	operator() (std::size_t n) const

Public Attributes
std::span< const T >	text
K	kernel

Detailed Description

template<typename T, IsPrefixKernel< T > K>
struct dedekind::category::detail_comprehension::KernelAt< T, K >

The kernel at one more prefix.

---

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

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