Converted download_implementations to OCaml