let axml_options_of_exml_options (exml_options : t_exml_options) : t_axml_options = { tags = exml_options.tags; }