Как вы проверяете тип (*) на верхнем уровне OCaml?

Я хотел увидеть тип функции умножения (*), поэтому я подключил его к верхнему уровню OCaml.

# (*)

Однако верхний уровень повторил:

(*);; 1: this is the start of a comment.

и затем потребил любой дальнейший ввод Я вставил. Я подумал, что мне нужно выйти из режима комментариев, нажав Ctrl + d , чтобы отправить EOF. Отлично. Но, конечно же, у меня должна быть возможность запросить тип любой функции, включая нашу таинственную функцию умножения (*) ?!

Я был бы невероятно разочарован, если бы это было ограничением верхнего уровня.