X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fcache.mli;fp=src%2Fcache.mli;h=bc4cd482e0040367ae64383f4970c68e3f17e768;hb=9d761fb9aba3c653b1666e7ea3a5d2aec9a1138a;hp=df09798548765670b4b77f24a2238ecc51ff9307;hpb=8a31bd5c0847ca9c45627cb808a57d9c07c7b0dc;p=SXSI%2Fxpathcomp.git diff --git a/src/cache.mli b/src/cache.mli index df09798..bc4cd48 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 *) + 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*) + val iteri : (int -> int -> 'a -> bool -> unit) -> 'a t -> unit end module Lvl3 : @@ -29,6 +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*) + val iteri : (int -> int -> int -> 'a -> bool -> unit) -> 'a t -> unit end