Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-26 14:14:55 -0800 (Sat, 26 Feb 2005)
Revision: 6764
Log message:

      Upgraded the existential type.
      

Changes  Path
+30 -15 mpcompiler/mmc/core/mmc_core_tast.mli
+1 -1 mpcompiler/mmc/extensions/int/mmc_ext_int.mli
+82 -57 mpcompiler/mmc/extensions/tuple/mmc_ext_tuple.ml
+32 -7 mpcompiler/mmc/extensions/tuple/mmc_ext_tuple.mli
+94 -32 mpcompiler/mmc/extensions/tyexists/mmc_ext_tyexists.ml
+47 -5 mpcompiler/mmc/extensions/tyexists/mmc_ext_tyexists.mli