list
(
α
)
merge_sort (
(
α
, 
α
Order.ordering
)
 
cmp
, 
list
(
α
)
 
l)
Perform sorting on a list, using the merge sort algorithm.Performance note: This algorithm has complexity O(n log (n))

Comments

The browser you use is not supported by this application, probably because it lacks some critical features.
For a better experience, please consider using this application with a supported browser.