module L = Log
module H = Hierarchy
module O = Output
-module CL = CommonLibrary
module B = Brg
(* nodes count **************************************************************)
tabsts: int;
tabbrs: int;
tvoids: int;
- uris : U.uri list;
+ uris : B.uri list;
nodes : int;
xnodes: int
}
| B.Void ->
F.fprintf frm "<Void%a/>" id a
-let export_obj frm = function
+let exp_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
+ F.fprintf frm "<ABST uri=%S/>@,%a" str exp_term 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
+ F.fprintf frm "<ABBR uri=%S/>@,%a" str exp_term v
| _, uri, B.Void ->
let str = U.string_of_uri uri in
- F.fprintf frm "%s@,@,<VOID uri=%S/>"
- (CL.doctype "VOID") str
+ F.fprintf frm "<VOID uri=%S/>" str
+
+let export_obj frm obj =
+ F.fprintf frm "@,@[<v3> %a@]@," exp_obj obj