closed_interval.hpp 4.28 KB