I am guessing it could using PPX https://ocamlverse.github.io/content/metaprogramming.html https://ocamlverse.github.io/content/metaprogramming.html In C++ th

I am guessing it could using PPX https://ocamlverse.github.io/content/metaprogramming.html https://ocamlverse.github.io/content/metaprogramming.html In C++ the system for generics is the same system for metaprogramming. In OCaml they are two different systems.