Algebraic manipulations of PetitSets
PetitSets
Trivial const replacement for std::comp::Ord::max
std::comp::Ord::max