(* *)
(******************************************************************************)
-val pp_annotation : Cic.annobj -> UriManager.uri -> Xml.token Stream.t
+val pp_annotation :
+ Cic.annobj -> (Cic.id, string) Hashtbl.t -> UriManager.uri ->
+ Xml.token Stream.t