11.3.232 @>=/2   ISO

Synopsis

+Term1 @>= +Term2

Succeeds if Term1 is not before Term2 in the standard order.

Arguments

Term1

term

Term2

term

Exceptions

None.

See Also

ref-lte-cte.