Dedekind
0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::order::detail_halfspace_witness::UnrelatedCardinalityAlias Struct Reference
module
dedekind.order
Public Types
using
cardinality_type
= int
The documentation for this struct was generated from the following file:
src/main/modules/dedekind/order/
runs.cppm
dedekind
order
detail_halfspace_witness
UnrelatedCardinalityAlias
Generated by
1.15.0