stdlib - 0.0.1
Source
Index
Stdlib.Data.String.Ord
Contents
Description
Definitions
Description
Definitions
builtin
string-eq
axiom
==
:
String
→
String
→
Bool
Source
#