Вы можете использовать уровень OCaml в качестве библиотеки.Это часть официального дистрибутива OCaml и актуальная.См. Toploop.mli в источниках OCaml для интерфейса.Официально он доступен только в байт-коде, но есть экспериментальная поддержка нативного кода.
Если вы планируете распространять свое приложение, имейте в виду, что библиотека верхнего уровня (и сам компилятор) находятся под более ограничительной лицензией (модифицированный QPL), чем стандартная библиотека и среда выполнения (модифицированный LGPL).