Changes by: yegor (yegor at unknown.email)
Date: 2005-02-20 17:57:17 -0800 (Sun, 20 Feb 2005)
Revision: 794
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
+4 -0	libmojave/stdlib/lm_map_sig.ml
+39 -13	libmojave/stdlib/lm_splay_table.ml
+2 -0	libmojave/stdlib/lm_table_util.ml