let axml_options_of_txt_options (txt_options : t_txt_options) : t_axml_options = { tags = txt_options.tags; }