Instances for strings.

@[extern lean_string_compare]

def String.compare (s₁ s₂ : String) : Ordering

Lexicographic comparison of strings

@[implicit_reducible]

instance String.instOrd : Ord String

instance String.instTransOrd : Std.TransOrd String

instance String.instLawfulEqOrd : Std.LawfulEqOrd String

instance Char.instTransOrd : Std.TransOrd Char

instance Char.instLawfulEqOrd : Std.LawfulEqOrd Char