Documentation

Init.Data.Ord.String

Imports

Init.Data.Char.Lemmas
Init.Data.String.Compare

Imported by

Char.instTransOrd

Char.instLawfulEqOrd

Instances for strings. #

instance Char.instTransOrd :

Std.TransOrd Char

instance Char.instLawfulEqOrd :

Std.LawfulEqOrd Char