Well, not "reverse engineering", sorry, but that's the idea: did they use the same algorithms and rewrote them exactly as same in OCaml? did they find anything

Well, not "reverse engineering", sorry, but that's the idea: did they use the same algorithms and rewrote them exactly as same in OCaml? did they find anything that could be done better? etc.