Added functional tree traversal service in ocaml