closed_interval.hpp 4.15 KB