Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::Pow2< N > Struct Template Referenceexport

\(k \mapsto 2^k\) on the counts, refused past the word: the window of the bit words. More...

Public Types

using Domain = N
using Codomain = N

Public Member Functions

constexpr N operator() (N k) const

Detailed Description

template<IsCountWord N = std::size_t>
struct dedekind::category::Pow2< N >

\(k \mapsto 2^k\) on the counts, refused past the word: the window of the bit words.

Template Parameters
Nthe counts.

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