|
Dedekind 0.0.0
A structuralist C++23 Module Library
|
A sorted map of breakpoints as a source. More...

Public Types | |
| using | Domain = V |
| using | logic_species = L |
Public Member Functions | |
| L::Ω | first () const |
| auto | steps () const |
Public Attributes | |
| L::Ω | value_before |
| std::map< Position< V >, typename L::Ω > | map |
A sorted map of breakpoints as a source.