sig
  type closed_interval
  val cons_closed : int * int -> Closed_interval.closed_interval
  val lower_bound : Closed_interval.closed_interval -> int
  val upper_bound : Closed_interval.closed_interval -> int
  val string_of_closed_interval : Closed_interval.closed_interval -> string
  val print_closed_interval : Closed_interval.closed_interval -> unit
end