(** {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
* @param prec precedence level *)
val render:
- (Cic.id, UriManager.uri) Hashtbl.t -> ?prec:int -> CicNotationPt.term -> markup
+ lookup_uri:(Cic.id -> string option) -> ?prec:int -> CicNotationPt.term ->
+ markup
(** level 0 -> xml stream *)
val print_xml: markup -> Xml.token Stream.t