X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fcache.mli;h=df09798548765670b4b77f24a2238ecc51ff9307;hb=895a134ffb8274e9abba18fec9780142fcb5a937;hp=9057c102ee1296cfc4d17a29b951cff4d8c80af2;hpb=cb90d64919eb8ebe56aecfec3a1a8af86642df04;p=SXSI%2Fxpathcomp.git

diff --git a/src/cache.mli b/src/cache.mli
index 9057c10..df09798 100644
--- a/src/cache.mli
+++ b/src/cache.mli
@@ -7,7 +7,7 @@ sig
   val find : 'a t -> int -> 'a
   val add : 'a t -> int -> 'a -> unit
   val dummy : 'a t -> 'a
-
+(*  val iteri : (int -> 'a -> bool -> unit) -> 'a t -> unit *)
 end
 
 module Lvl2:
@@ -17,7 +17,7 @@ sig
     val find : 'a t -> int -> int -> 'a
     val add : 'a t -> int -> int -> 'a -> unit
     val dummy : 'a t -> 'a
-
+(*    val iteri : (int -> int -> 'a -> bool -> unit) -> 'a t -> unit*)
 end
 
 module Lvl3 :
@@ -29,5 +29,6 @@ module Lvl3 :
     val find : 'a t -> int -> int -> int -> 'a
     val add : 'a t -> int -> int -> int -> 'a -> unit
     val dummy : 'a t -> 'a
+(*    val iteri : (int -> int -> int -> 'a -> bool -> unit) -> 'a t -> unit*)
  
   end