We use ocaml-rs[1] and ocaml-gen[2] for that, it works pretty well although there’s room for improvement. [1]: https://github.com/zshipko/ocaml-rs https://gith

We use ocaml-rs[1] and ocaml-gen[2] for that, it works pretty well although there’s room for improvement. [1]: https://github.com/zshipko/ocaml-rs https://github.com/zshipko/ocaml-rs [2]: https://github.com/o1-labs/proof-systems/tree/a4b06e71106704cae4e7ec8edbded2f0c7f81990/ocaml/ocaml-gen https://github.com/o1-labs/proof-systems/tree/a4b06e71106704...