10.9 Переопределение в операторах open

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

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

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