X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fdisambiguation%2FdisambiguateTypes.mli;h=5ebc835cb4ac3ca9602ae7db3cfab7070a538aa0;hb=c42ed8044c4bb9b8eadfd6930238ff5e700df656;hp=1e99fd404ace0ebfad221082340ed3b98365b144;hpb=cacbe3c6493ddce76c4c13379ade271d8dd172e8;p=helm.git

diff --git a/matitaB/components/disambiguation/disambiguateTypes.mli b/matitaB/components/disambiguation/disambiguateTypes.mli
index 1e99fd404..5ebc835cb 100644
--- a/matitaB/components/disambiguation/disambiguateTypes.mli
+++ b/matitaB/components/disambiguation/disambiguateTypes.mli
@@ -24,14 +24,14 @@
  *)
 
 type domain_item =
- | Id of string               (* literal *)
- | Symbol of string * int     (* literal, instance num *)
- | Num of int                 (* instance num *)
+ | Id of (string * string option)              (* literal, opt. uri *)
+ | Symbol of string * (string option * string) option (* literal, opt. (uri,interp.) *)
+ | Num of (string option * string) option             (* opt. uri, interpretation *)
 
 (* module Domain:      Set.S with type elt = domain_item *)
 module Environment:
 sig
-  include Map.S with type key = domain_item
+  include Map.S with type key = domain_item 
   val cons: ('b -> 'a) -> domain_item -> 'b -> 'b list t -> 'b list t
 end