dedekind::category::detail_comprehension::LengthOf Struct Reference

A kernel for the laws: a prefix's length. More...

Public Types
using	Domain = std::span<const std::size_t>
using	Codomain = std::size_t

Public Member Functions
constexpr std::size_t	operator() (std::span< const std::size_t > p) const

Detailed Description

A kernel for the laws: a prefix's length.

---

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

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