ordString top-level property

Ord<String> ordString
final

Implementation

final Ord<String> ordString = StringOrd();