X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FapplyTransformation.mli;h=4b0251743407291e890801475b023135f2fc9c21;hb=76ec6b95c6f462f7fdedf0bc87354fb874ef4a46;hp=788ef6810979f88531e7269cf0c64ad744627b85;hpb=b02253b371aadbbb37226a685b9bd8777a64d175;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