Limits on OCaml finalizer execution order across runtime versions
OCaml’s language manual specifies that finalizers are executed when the garbage collector reclaims a value, but it does not define the order in which multiple finalizers run. This implementation‑defined behavior can vary between OCaml releases (e.g., 4.12, 4.14, 5.0) and between compilation modes (native code vs. bytecode) or GC settings such as heap size. G