Add iteri function to traverse cache data structures.
authorKim Nguyễn <kn@lri.fr>
Wed, 14 Mar 2012 12:47:31 +0000 (13:47 +0100)
committerKim Nguyễn <kn@lri.fr>
Wed, 14 Mar 2012 12:51:18 +0000 (13:51 +0100)
commit9d761fb9aba3c653b1666e7ea3a5d2aec9a1138a
treee656bea332bf0b6d7a2d409e9c1ff5b405178bec
parent8a31bd5c0847ca9c45627cb808a57d9c07c7b0dc
Add iteri function to traverse cache data structures.
src/cache.ml
src/cache.mli