12.9 Переопределение в операторах открытых блоков

(Введено в OCaml 4.01)

Начиная с OCaml 4.01, операторы open, которые затемняют существующий идентификатор (который позже используется), вызывают предупреждение 44. Добавление символа ! после ключевого слова open указывает на то, что такое затемнение является намеренным и не должно вызывать предупреждение.

Это также доступно (с OCaml 4.06) для локальных открытий в выражениях классов и типах выражений классов.