X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fcontent%2FnotationEnv.mli;h=3118893214049fbac94a53acff5684f894f5adc8;hb=8f694a82e3291e4a3c2a4f805782846204cf348c;hp=372bc15e821b4aec68045a062c3cb8683aa131e7;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;p=helm.git

diff --git a/matitaB/components/content/notationEnv.mli b/matitaB/components/content/notationEnv.mli
index 372bc15e8..311889321 100644
--- a/matitaB/components/content/notationEnv.mli
+++ b/matitaB/components/content/notationEnv.mli
@@ -35,6 +35,7 @@ type value =
   | NumValue of string
   | OptValue of value option
   | ListValue of value list
+  | DisambiguationValue of (Stdpp.location * string option * string option)
 
 type value_type =
   | TermType of int (* the level of the expected term *)
@@ -42,6 +43,7 @@ type value_type =
   | NumType
   | OptType of value_type
   | ListType of value_type
+  | NoType
 
   (** looked up value not found in environment *)
 exception Value_not_found of string