snapshot

[helm.git] / helm / ocaml / cic_notation / cicNotationPres.mli

diff --git a/helm/ocaml/cic_notation/cicNotationPres.mli b/helm/ocaml/cic_notation/cicNotationPres.mli
index 3181ec0b8f5e1bb6caaeb9a94eca0fd19be5d102..68da94458dfd3fb630739811cfb23a18448bc322 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationPres.mli
+++ b/helm/ocaml/cic_notation/cicNotationPres.mli
@@ -28,6 +28,13 @@ and boxml_markup = mathml_markup Box.box
 
 type markup = mathml_markup
 
-(** @param ids_to_uris mapping id -> uri for hyperlinking *)
+(** level 1 -> level 0
+ * @param ids_to_uris mapping id -> uri for hyperlinking *)
 val render: (Cic.id, string) Hashtbl.t -> CicNotationPt.term -> markup
 
+val render_to_boxml:
+  (Cic.id, string) Hashtbl.t -> CicNotationPt.term -> Xml.token Stream.t
+
+(* val render_to_mathml:
+  (Cic.id, string) Hashtbl.t -> CicNotationPt.term -> mathml_markup *)
+