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