let string_rev s = let len = String.length s in String.init len (fun i -> s.[len - 1 - i]) let () = print_endline (string_rev "Hello world!")