X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2Fdisambiguate.mli;h=b659b38ffac13a4828ac69c8bc76364740d1c39f;hb=31afc64440b7da53bb79e6f1524d47bf0fb56aaf;hp=ac9b977927bb9c69a86c64198949fba1cadb4ab8;hpb=0575a1cb077087970f311b48f2e45dc4a01a6867;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/disambiguate.mli b/helm/ocaml/cic_disambiguation/disambiguate.mli
index ac9b97792..b659b38ff 100644
--- a/helm/ocaml/cic_disambiguation/disambiguate.mli
+++ b/helm/ocaml/cic_disambiguation/disambiguate.mli
@@ -29,6 +29,11 @@ open DisambiguateTypes
 
 exception NoWellTypedInterpretation
 
+val interpretate:   
+    context:Cic.name list ->
+    env:DisambiguateTypes.environment -> 
+    CicAst.term -> Cic.term
+
 module type Disambiguator =
 sig
   val disambiguate_term :