If we need real support for unsigned values, like u64 or u32, ocaml-gen must map to types like defined in ocaml-integers or ocaml-stdint. The values are implemented using custom blocks. Therefore, on the Rust side, the mapping must be custom blocks, not built-in types like u64.
Related to https://github.com/MinaProtocol/mina/issues/13224.
If we need real support for unsigned values, like u64 or u32, ocaml-gen must map to types like defined in ocaml-integers or ocaml-stdint. The values are implemented using custom blocks. Therefore, on the Rust side, the mapping must be custom blocks, not built-in types like
u64
.