STRING_gt_.html -- ACL2 Version 6.3

### STRING>

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.