../../Task/String-comparison/Standard-ML