Contains some helper function for Sort
fromString str
string
Sort
Converts a string representation back to a Sort
toString sort
Converts a Sort into its string representation