Compares t
values as upper bounds, where Unbounded
is highest, Incl x > Excl x
,
and other cases of Incl
and/or Excl
are compared based on 'a
. If
As_upper_bound.compare compare_a t1 t2 <= 0
and is_upper_bound t1 ~of_:a ~compare
,
then is_upper_bound t2 ~of_:a ~compare
. For example, for int As_upper_bound.t
:
... < Excl 13 < Incl 13 < Excl 14 < Incl 14 < ... < Unbounded