|
Dedekind 0.0.0
A structuralist C++23 Module Library
|
A machine word read back as the count of its pattern: the retraction of pack, \(\mathit{unpack} \circ \mathit{pack} =
\mathrm{id}\) on the counts below \(2^W\). Up to a machine word, since a count is one.
More...
Public Types | |
| using | Domain = BitWord<W> |
| using | Codomain = std::size_t |
Public Member Functions | |
| constexpr std::size_t | operator() (Domain x) const |
A machine word read back as the count of its pattern: the retraction of pack, \(\mathit{unpack} \circ \mathit{pack} =
\mathrm{id}\) on the counts below \(2^W\). Up to a machine word, since a count is one.
| W | the width. |