Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::sets::datum_cardinality< Predicate, Base > Struct Template Reference

Public Types

using type = typename Base::cardinality_type

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