dedekind::sets::CardinalityEffect Struct Reference

Draft writer-like cardinality effect carrier. More...

Public Attributes
Cardinality	value
Cardinality	trace

Detailed Description

Draft writer-like cardinality effect carrier.

---

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

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