Stdlib.Data.String.Ord
Contents
builtin string-eq axiom == : String -> String -> BoolSource#
Equality for Strings.
