Dedekind
0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::order::detail_interval::AsInterval< V > Struct Template Reference
module
dedekind.order
A piece as the interval it is.
More...
Public Member Functions
constexpr
Interval
< V,
Boole
>
operator()
(const
Piece
< V > &p) const
Detailed Description
template<typename V>
struct dedekind::order::detail_interval::AsInterval< V >
A piece as the interval it is.
The documentation for this struct was generated from the following file:
src/main/modules/dedekind/order/
halfspace.cppm
dedekind
order
detail_interval
AsInterval
Generated by
1.15.0