- F.fprintf frm "<Void%a/>" id a
-
-let export_obj frm = function
- | _, uri, B.Abst w ->
- let str = U.string_of_uri uri in
- F.fprintf frm "%s@,@,<ABST uri=%S>%a</ABST>"
- (CL.doctype "ABST") str exp_boxed w
- | _, uri, B.Abbr v ->
- let str = U.string_of_uri uri in
- F.fprintf frm "%s@,@,<ABBR uri=%S>%a</ABBR>"
- (CL.doctype "ABBR") str exp_boxed v
- | _, uri, B.Void ->
- let str = U.string_of_uri uri in
- F.fprintf frm "%s@,@,<VOID uri=%S/>"
- (CL.doctype "VOID") str
+ let attrs = [X.name a; X.mark a] in
+ X.tag X.void attrs out tab
+
+let export_term = exp_term B.empty