X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fcic_disambiguation%2FdisambiguatePp.mli;h=9c3b506619af230cd21866a942a9bbc77eba81d2;hb=0ab691fe2f45a742c2aa83446a120675910b03d9;hp=9d205113496a971e9828a38da8cdcf04f7c6db10;hpb=5a9513f3af74622f9bebc8c68b0b53e2e01c4200;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/disambiguatePp.mli b/helm/ocaml/cic_disambiguation/disambiguatePp.mli
index 9d2051134..9c3b50661 100644
--- a/helm/ocaml/cic_disambiguation/disambiguatePp.mli
+++ b/helm/ocaml/cic_disambiguation/disambiguatePp.mli
@@ -23,11 +23,12 @@
  * http://helm.cs.unibo.it/
  *)
 
-val parse_environment: string -> DisambiguateTypes.environment
+val parse_environment:
+  string ->
+   DisambiguateTypes.environment * DisambiguateTypes.multiple_environment
 
-val commands_of_environment:
-  DisambiguateTypes.environment ->
-    (CicNotationPt.term, GrafiteAst.obj) GrafiteAst.command list
+val commands_of_domain_and_codomain_items_list:
+ (DisambiguateTypes.domain_item * DisambiguateTypes.codomain_item) list ->
+  (CicNotationPt.term, GrafiteAst.obj) GrafiteAst.command list
 
 val pp_environment: DisambiguateTypes.environment -> string
-