module type of in OCaml 5.0: Resolving Nested Module Signature Mismatches
Goal We want to understand how the semantics of module type of change when applied to a nested module in OCaml 5.0 compared to 4.14, and how this affects type inference and compiler diagnostics during migration. Context In 5.0 the compiler warns that module type of is deprecated, but the warning text differs between bytecode and native compilers. The documen
ocaml