Provide OCaml solution