[Drup]

`ocaml-ctypes` currently supports "reverse-bindings" (making OCaml functions available from C) out-of-the-box and mostly takes care of the intersection you are talking about, so this already works quite well.

The only gain from emiting C code is portability to weird architecture that would be covered by C compilers but not the OCaml one; which is arguably a pretty niche use-case.

[omniscient_oce]

I thought OCaml was dropping support for 32-bit ARM. I wouldn't call that a weird architecture to want to run on.