Changes by: yegor (yegor at unknown.email)
Date: 2005-06-30 17:59:30 -0700 (Thu, 30 Jun 2005)
Revision: 1175
Log message:

      range_fold added, it goes over subrange of a tree only using one-argument compare-like helper function.
      

Changes	Path
+17 -0	libmojave/stdlib/lm_set.ml
+1 -0	libmojave/stdlib/lm_set_sig.ml