11.3.228 @>/2   [ISO]

Synopsis

+Term1 @> +Term2

Succeeds if Term1 is after Term2 in the standard order.

Arguments

Term1
term
Term2
term

Exceptions

None.

See Also

ref-lte-cte.


Send feedback on this subject.