Adding mutable alter_node + minor changes
authorThibault Suzanne <thi.suzanne@gmail.com>
Tue, 7 Aug 2012 12:25:27 +0000 (14:25 +0200)
committerThibault Suzanne <thi.suzanne@gmail.com>
Tue, 7 Aug 2012 12:31:41 +0000 (14:31 +0200)
commit3b4cac04837f340c27e85c16ecb49c582f66d584
treeea05cdf12e2637dcd8b3e120c3d745cc3db83275
parent5d72da2a96d7baccf66cccd18be53ef86f9ba200
Adding mutable alter_node + minor changes

- alter_node can now mute the structure for internal speed purposes
  It really speeds up the consecutive insertion of many elements, like of_assoc
- A few changes to avoid calls to useless functions
bitUtils.ml
hamt.ml