(** level 1 -> level 0
* @param ids_to_uris mapping id -> uri for hyperlinking *)
-val render: (Cic.id, string) Hashtbl.t -> CicNotationPt.term -> markup
+val render: (Cic.id, UriManager.uri) Hashtbl.t -> CicNotationPt.term -> markup
(** level 0 -> xml stream *)
val print_xml: markup -> Xml.token Stream.t