Почему Utop по-разному относится к этому коду Ocaml?

Question

module D = struct type t = float list end
module DF(D) = struct type t = D.t end

получает синтаксическую ошибку в утопе

Однако

module D = struct type t = float list end;;
module DF(D) = struct type t = D.t end

Не

Answer 1

Utop игнорирует все справа от ;;, поскольку ;; означает конец фразы верхнего уровня.