What does "open!" mean in OCaml?

It's to avoid triggering warnings if the open shadows an exisiting identifier. See the manual.

Extending what Daniel said, it also tells the compiler to not warn if the open is not used anywhere in the code. One of the common things people do is to open! Core, since Core is such a useful library that one should just open it even they may not be using it.