sig
val
merge_sort : (int
->
int
->
int)
->
int array
->
unit
end