X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_procedural%2Facic2Procedural.mli;h=786f6007384b113f877cbc52f32f3bf193043321;hb=ddd6560f4e70ec3306d223738a441d5f1dd3eac9;hp=f0016cce20c355ec8772769884d7fd110c4d6d6c;hpb=6a5e51c1cf9a56c74a8b53a9b8bc5aa686c9780e;p=helm.git

diff --git a/helm/software/components/acic_procedural/acic2Procedural.mli b/helm/software/components/acic_procedural/acic2Procedural.mli
index f0016cce2..786f60073 100644
--- a/helm/software/components/acic_procedural/acic2Procedural.mli
+++ b/helm/software/components/acic_procedural/acic2Procedural.mli
@@ -25,8 +25,8 @@
 
 val procedural_of_acic_object:
    ids_to_inner_sorts:(Cic.id, Cic2acic.sort_kind) Hashtbl.t ->
-   ids_to_inner_types:(Cic.id, Cic2acic.anntypes) Hashtbl.t -> 
-   ?depth:int -> ?flavour:Cic.object_flavour -> string -> Cic.annobj ->
+   ids_to_inner_types:(Cic.id, Cic2acic.anntypes) Hashtbl.t -> ?info:string ->
+   GrafiteAst.inline_param list -> Cic.annobj ->
       (Cic.annterm, Cic.annterm,
        Cic.annterm GrafiteAst.reduction, Cic.annterm CicNotationPt.obj, string)
       GrafiteAst.statement list
@@ -34,7 +34,11 @@ val procedural_of_acic_object:
 val procedural_of_acic_term:
    ids_to_inner_sorts:(Cic.id, Cic2acic.sort_kind) Hashtbl.t ->
    ids_to_inner_types:(Cic.id, Cic2acic.anntypes) Hashtbl.t -> 
-   ?depth:int -> string -> Cic.context -> Cic.annterm ->
+   GrafiteAst.inline_param list -> Cic.context -> Cic.annterm ->
       (Cic.annterm, Cic.annterm,
        Cic.annterm GrafiteAst.reduction, Cic.annterm CicNotationPt.obj, string)
       GrafiteAst.statement list
+
+val tex_formatter: Format.formatter option ref
+
+val is_debug: int -> GrafiteAst.inline_param list -> bool