An Interval_lib.Interval but with empty intervals disallowed. - View it on GitHub