String>
Greater-than test for strings
(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.
Function: string>
(defun string> (str1 str2)
(declare (xargs :guard (and (stringp str1) (stringp str2))))
(string< str2 str1))
