Да, и это выбор дизайна, а не ограничение. Выполнение команд оболочки может быть очень опасным с точки зрения безопасности; в Opa безопасность имеет первостепенное значение, и поэтому мы решили не раскрывать ее пользователям. Если вам это действительно нужно (и вы знаете, что делаете), тогда вам будет очень легко представить одну из функций Ocaml Sys в вашей программе через FFI.