Next: mpg-ref-term_not_less_than, Previous: mpg-ref-term_not_equal_to, Up: mpg-bpr [Contents][Index]
@=</2
+Term1 @=< +Term2
@=<
Succeeds if Term1 is not after Term2 in the standard order.
term
None.
ref-lte-cte.