(** {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:
- lookup_uri:(Cic.id -> string option) -> ?prec:int -> NotationPt.term ->
+ #NCic.status ->
+ lookup_uri:(Content.id -> string option) -> ?prec:int -> NotationPt.term ->
markup
(** level 0 -> xml stream *)