Next: mpg-ref-not_provable, Previous: mpg-ref-term_greater_than, Up: mpg-bpr
@>=/2
+Term1 @>= +Term2
@>=
Succeeds if Term1 is not before Term2 in the standard order.
None.
ref-lte-cte.