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