Integrate Isabelle's generated code into OCaml program.