Код qsort полностью внаглую скопирован отсюда
В merge есть широкий простор для оптимизации, мне просто лень было писать его красиво
Ну а heap вроде ничего

Теперь описание файлов:
isort.ml - собственно реализация, полностью соответствующая интерфейсу
isort.mli - интерфейс
test.ml - красиво всё это печатает
compile.bat - удобный способ скомпилировать, требует установленный ocamlc, все 3 файла выше и прямые руки