let xmls_of_text_input_opt = xmls_of_opt_f xml_of_text_input