Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-01-23 14:11:01 -0800 (Sun, 23 Jan 2005)
Revision: 6476
Log message:

      I have started writing a module that would provide a "debug" Refiner which
      would run the "std" and the "ds" refiners in parallel and check for
      consistency. So far, I've only implemented a miniscule portion of the API,
      and this file is not added to the normal MetaPRL compilation in any way.
      

Changes	Path
Added	metaprl/refiner/refiner/refiner_debug.ml
Properties	metaprl/refiner/refiner/refiner_debug.ml
Added	metaprl/refiner/refiner/refiner_debug.mli
Properties	metaprl/refiner/refiner/refiner_debug.mli