OT implemented in OCaml