../../Task/String-matching/Standard-ML