Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-03-24 04:40:17 -0800 (Thu, 24 Mar 2005)
Revision: 840
Log message:
Minor API change: give access to the hyp index in the SeqHyp.fold function.
| Changes | Path |
| +6 -1 | libmojave/stdlib/lm_array_linear_set.ml |
| +1 -1 | libmojave/stdlib/lm_linear_set_sig.ml |
| +2 -2 | libmojave/stdlib/lm_splay_linear_set.ml |