Imports can work to add things to an already existing hamt
authorThibault Suzanne <thi.suzanne@gmail.com>
Thu, 9 Aug 2012 13:18:19 +0000 (15:18 +0200)
committerThibault Suzanne <thi.suzanne@gmail.com>
Thu, 9 Aug 2012 13:18:19 +0000 (15:18 +0200)
commit0fd2da625adfa86766628351d79fe0ea9caf84a6
tree1e0ef30b565463d7939fd71dd25af064a1c5ad8c
parent0f1b821f24360e950df882abd23f2a0ef0193a7c
Imports can work to add things to an already existing hamt
hamt.ml