dedekind::sets::ExtensionalCardinal< W >::CheckedResult Struct Reference

A wrapped result and whether the exact result overflowed W. More...

Collaboration diagram for dedekind::sets::ExtensionalCardinal< W >::CheckedResult:

Public Attributes
ExtensionalCardinal	result
bool	overflowed

Detailed Description

template<IsWrappingWord W = std::size_t>
struct dedekind::sets::ExtensionalCardinal< W >::CheckedResult

A wrapped result and whether the exact result overflowed W.

---

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

• src/main/modules/dedekind/sets/cardinality.cppm