¿Qué es un tipo principal?

El compilador OCaml tiene una opción "-principal" y el término "tipo principal" a veces se menciona en la lista de correo. ¿Qué significa exactamente? La definición en Wikipedia es recursiva, ya que asume que el lector ya está familiarizado con la noción.