• Top
    • Documentation
    • Books
    • Recursion-and-induction
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
      • Std/lists
      • Std/alists
      • Obags
      • Std/util
      • Std/strings
        • Pretty-printing
        • Printtree
        • Base64
        • Charset-p
        • Strtok!
        • Cases
        • Concatenation
        • Html-encoding
        • Character-kinds
        • Substrings
        • Strtok
        • Equivalences
        • Url-encoding
        • Lines
        • Ordering
          • Charlistnat<
          • Istr<
          • Ichar<
          • Icharlist<
          • Strnat<
          • Istrsort
        • Numbers
        • Pad-trim
        • Coercion
        • Std/strings-extensions
        • Std/strings/digit-to-char
        • Substitution
        • Symbols
      • Std/io
      • Std/osets
      • Std/system
      • Std/basic
      • Std/typed-lists
      • Std/bitsets
      • Std/testing
      • Std/typed-alists
      • Std/stobjs
      • Std-extensions
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
    • Software-verification
    • Testing-utilities
    • Math
  • Std/strings

Ordering

Functions for comparing and ordering strings in various ways.

Subtopics

Charlistnat<
Mixed alphanumeric character-list less-than test.
Istr<
Case-insensitive string less-than test.
Ichar<
Case-insensitive character less-than test.
Icharlist<
Case-insensitive character-list less-than test.
Strnat<
Mixed alphanumeric string less-than test.
Istrsort
Case-insensitively sort a string list.