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