2 ms·

If the OCaml code is Standard ML-compliant you could run it on Cake, then you only have to trust the conversion