|
Dedekind 0.0.0
A structuralist C++23 Module Library
|
This is the complete list of members for dedekind::category::detail_comprehension::KeepBest< T, K, Rank, Order >, including all inherited members.
| before (defined in dedekind::category::detail_comprehension::KeepBest< T, K, Rank, Order >) | dedekind::category::detail_comprehension::KeepBest< T, K, Rank, Order > | |
| operator()(const AtMost< T, K > &best, const T &x) const (defined in dedekind::category::detail_comprehension::KeepBest< T, K, Rank, Order >) | dedekind::category::detail_comprehension::KeepBest< T, K, Rank, Order > | inline |