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