module Closed_interval: sig .. end
Provides type closed_interval : closed intervals whose endpoints are integers
along with basic operations involving them - Here such an interval is constructed as
a pair .
type
Gives every closed interval (whose endpoints are integers) a unique representation.
val cons_closed : int * int -> closed_interval
Constructs the closed interval whose lower bound is a and upper bound is b given the
pair (a, b).
val lower_bound : closed_interval -> int
Returns the lower bound of an interval.
val upper_bound : closed_interval -> int
Returns the upper bound of an interval.
val string_of_closed_interval : closed_interval -> string
Returns a string representation of an interval.
val print_closed_interval : closed_interval -> unit
Prints a string representation of an interval.