exception IllFormedXml of int
-val current_sp : string list ref
-val current_uri : UriManager.uri ref
-
(* the "interface" of the class linked to each node of the dom tree *)
class virtual cic_term :
object ('a)
(* a method that returns the internal representation of the tree (term) *)
(* rooted in this node *)
- method virtual to_cic_term : Cic.annterm
+ method virtual to_cic_term :
+ (UriManager.uri * Cic.annterm) list -> Cic.annterm
end
(* The definition of domspec, an hashtable that maps each node type to the *)
(* object that must be linked to it. Used by markup. *)
val domspec : cic_term Pxp_document.spec
+
+(** orrible hack *)
+val set_uri: UriManager.uri -> unit
+