X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FapplyTransformation.mli;h=4b0251743407291e890801475b023135f2fc9c21;hb=4ed8829233095bdf2ab1c15021ba815084d19b70;hp=788ef6810979f88531e7269cf0c64ad744627b85;hpb=3b3a14912c135dc45da970d71235b630660d88c8;p=helm.git

diff --git a/helm/software/matita/applyTransformation.mli b/helm/software/matita/applyTransformation.mli
index 788ef6810..4b0251743 100644
--- a/helm/software/matita/applyTransformation.mli
+++ b/helm/software/matita/applyTransformation.mli
@@ -77,3 +77,9 @@ val txt_of_cic_object:
 val txt_of_inline_macro:
   map_unicode_to_tex:bool -> 
    GrafiteAst.presentation_style -> string -> string -> string
+
+(* columns, rendering depth, context, term *)
+val procedural_txt_of_cic_term: 
+  map_unicode_to_tex:bool -> int -> ?depth:int -> 
+  Cic.context -> Cic.term ->
+    string