exception IllFormedXml of int
-val ids_to_targets : (Cic.id, Cic.anntarget) Hashtbl.t option ref
val current_sp : string list ref
val current_uri : UriManager.uri ref
-val process_annotations : bool ref
(* the "interface" of the class linked to each node of the dom tree *)
class virtual cic_term :