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