(** {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 -> CicNotationPt.term ->
+ #NCic.status ->
+ lookup_uri:(Content.id -> string option) -> ?prec:int -> NotationPt.term ->
markup
(** level 0 -> xml stream *)
(* |+* level 1 -> xml stream
* @param ids_to_uris +|
val render_to_boxml:
- (Cic.id, string) Hashtbl.t -> CicNotationPt.term -> Xml.token Stream.t *)
+ (Cic.id, string) Hashtbl.t -> NotationPt.term -> Xml.token Stream.t *)
val print_box: boxml_markup -> Xml.token Stream.t
val print_mpres: mathml_markup -> Xml.token Stream.t