Decrease And Conquer Insertion Sort In Ocaml