greater-than test for strings
Major Section:  ACL2-BUILT-INS

(String> str1 str2) is non-nil if and only if str2 precedes str1 lexicographically. When non-nil, (string> str1 str2) is the first position (zero-based) at which the strings differ. See string<.

String> is a Common Lisp function. See any Common Lisp documentation for more information.

To see the ACL2 definition of this function, see pf.