В Scala есть оператор ???, который позволяет компилятору продолжать работу, не жалуясь на то, что что-то не реализовано, если вы тестируете другую часть программы.
???
Имеет ли OCaml эквивалентный оператор?
Вы можете использовать failwith "not implemented" или raise любое исключение, которое вы хотите. Эти функции, оба определены в Pervasives, возвращают 'a, что компилятор выведет как то, что вы хотите.
failwith "not implemented"
raise
Pervasives
'a