Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::sequences::detail_boundedset_witness Namespace Reference

Witness: BoundedSet is a set. IsSet is reached by inheriting dedekind::sets::SetExpr and supplying the χ — the same opt-in surface Comprehension uses; nominal, never a precondition. More...

Typedefs

using WOI = dedekind::order::Interval<int, dedekind::category::Boole>

Detailed Description

Witness: BoundedSet is a set. IsSet is reached by inheriting dedekind::sets::SetExpr and supplying the χ — the same opt-in surface Comprehension uses; nominal, never a precondition.