(** {2 Rendering} *)
+val lookup_uri: (Cic.id,UriManager.uri) Hashtbl.t -> Cic.id -> string option
+
(** level 1 -> level 0
- * @param ids_to_uris mapping id -> uri for hyperlinking *)
-val render: (Cic.id, UriManager.uri) Hashtbl.t -> CicNotationPt.term -> markup
+ * @param ids_to_uris mapping id -> uri for hyperlinking
+ * @param prec precedence level *)
+val render:
+ lookup_uri:(Cic.id -> string option) -> ?prec:int -> CicNotationPt.term ->
+ markup
(** level 0 -> xml stream *)
val print_xml: markup -> Xml.token Stream.t