../../Task/Sort-disjoint-sublist/Standard-ML