Я использую Ocaml версии 4. Когда я в интерактивном режиме определяю некоторый тип, интерпретатор выводит строковое представление типа сразу после этого:

# type foo = Yes | No;;         <-- This is what I entered
type foo = Yes | No             <-- This is what interpreter bounced

Но после того, как я ввожу больше определений, иногда я хочу снова увидеть текстовое представление типа.

В Хаскеле я мог набрать ": t foo".

Как я могу сделать это в Ocaml?