Merge function correctly polymorphic, and interface added.
authorThibault Suzanne <thi.suzanne@gmail.com>
Thu, 3 Jan 2013 15:11:17 +0000 (16:11 +0100)
committerThibault Suzanne <thi.suzanne@gmail.com>
Thu, 3 Jan 2013 15:11:17 +0000 (16:11 +0100)
commit97468cc01e34571f94196aa0339d5b82d806e7b6
tree23e290a15849938be076543fa14193ed3b6258a0
parent4c52b42fb636e16609ca4eef9d5dbcccc86bd5c3
Merge function correctly polymorphic, and interface added.
hamt.ml
hamt.mli [new file with mode: 0644]