Dedekind
0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::order::detail_runs::ValueIs< Ω > Struct Template Reference
module
dedekind.order
Collaboration diagram for dedekind::order::detail_runs::ValueIs< Ω >:
[
legend
]
Public Member Functions
template<typename V, typename L>
constexpr bool
operator()
(const
Step
< V, L > &s) const
Public Attributes
Ω
value
The documentation for this struct was generated from the following file:
src/main/modules/dedekind/order/
runs.cppm
dedekind
order
detail_runs
ValueIs
Generated by
1.15.0