Python -> OCaml