Stdlib.Data.String.Ord
Contents
axiom eqString : String → String → BoolSource#
== : String → String → BoolSource#
