% sort(List,Sorted) iff Sorted is the sorted version of list

Implementations