stdlib - 0.0.1

Stdlib.Data.String.Ord

Description

Definitions

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