right_open_interval.hpp 4.39 KB