right_open_interval.hpp 4.32 KB