Instances for strings.

@[instance_reducible]

instance String.instOrd : Ord String

Equations

• String.instOrd = { compare := fun (x y : String) => compareOfLessAndEq x y }

instance String.instTransOrd : Std.TransOrd String

instance String.instLawfulEqOrd : Std.LawfulEqOrd String

instance Char.instTransOrd : Std.TransOrd Char

instance Char.instLawfulEqOrd : Std.LawfulEqOrd Char