Converting OCaml to F #: OCaml is the equivalent of the F # specification, in particular initialization

In the process of converting OCaml Format module to F #, I found that I needed to understand the initialization process in detail. For F #, this is explained in Section 12.5 Executing the F # Specification Program . The OCaml Documentation page lists some good documents, I cannot find any document that gives the same level of detail as in the F # specification.

Are there any documents that give an appropriate level of detail for initializing OCaml?