Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-10 18:53:05 -0700 (Sat, 10 Apr 2004)
Revision: 5632
Log message:

      The value judgment, used by dead code elimination.
      

Changes  Path
Added mpcompiler/mmc/core/mmc_core_value.ml
Properties mpcompiler/mmc/core/mmc_core_value.ml
Added mpcompiler/mmc/core/mmc_core_value.mli
Properties mpcompiler/mmc/core/mmc_core_value.mli