Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-02-20 17:57:17 -0800 (Sun, 20 Feb 2005)
Revision: 6728
Log message:

      Added fold_map and replace.
      Because of the way lm_map_sig and
      lm_table_util are crafted
      I failed to define fold with polymorphic type of accumulator.
      (map function is not polymorphic either)
      

Changes	Path
+23 -0	metaprl/mllib/debug_tables.ml
+3 -0	metaprl/refiner/reflib/term_eq_table.ml