Module Cduce_lib_js.Print_xml
val print_xml : utf8:bool -> Ns.table -> Cduce_core.Value.t -> Cduce_core.Value.tval dump_xml : utf8:bool -> Ns.table -> Cduce_core.Value.t -> Cduce_core.Value.tval print_xml_subst : utf8:bool -> Ns.table -> Cduce_core.Value.t -> (Ns.Uri.t * Ns.Uri.t) list -> Cduce_core.Value.t