Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-04-07 11:04:28 -0700 (Thu, 07 Apr 2005)
Revision: 7163
Log message:

      Some more cleanup.
      

Changes	Path
+9 -3	mpcompiler/mmc/core/mmc_core_ast.mli
+5 -0	mpcompiler/mmc/core/mmc_core_tast.mli
+11 -6	mpcompiler/mmc/extensions/bool/mmc_ext_bool.mli
+14 -0	mpcompiler/mmc/extensions/int/mmc_ext_int.mli
+20 -1	mpcompiler/mmc/extensions/operator/mmc_ext_operator.mli
+23 -22	mpcompiler/mmc/extensions/tuple/mmc_ext_tuple.ml
+22 -1	mpcompiler/mmc/extensions/tuple/mmc_ext_tuple.mli
+75 -63	mpcompiler/mmc/extensions/tyexists/mmc_ext_tyexists.ml
+10 -0	mpcompiler/mmc/extensions/tyexists/mmc_ext_tyexists.mli
+3 -1	mpcompiler/util/mm_arith_util.ml
+9 -0	mpcompiler/util/mm_arith_util.mli