(** {2 Rendering} *)
-val lookup_uri: (Interpretations.cic_id,NReference.reference) Hashtbl.t ->
- Interpretations.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:(Interpretations.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 *)