|
Dedekind 0.0.0
A structuralist C++23 Module Library
|
An element of the walk as the step to its membership, ⊥ past the window's top. More...

Public Member Functions | |
| constexpr auto | operator() (const typename S::Domain &x) const |
Public Attributes | |
| S | s |
| S::Domain | hi |
An element of the walk as the step to its membership, ⊥ past the window's top.
| S | the set. |