stdlib - 0.0.1

Stdlib.Data.String.Ord

Definitions

builtin string-eq axiom == : String String BoolSource#