1 (***********************************************************************)
5 (* Kim Nguyen, LRI UMR8623 *)
6 (* Université Paris-Sud & CNRS *)
8 (* Copyright 2010-2013 Université Paris-Sud and Centre National de la *)
9 (* Recherche Scientifique. All rights reserved. This file is *)
10 (* distributed under the terms of the GNU Lesser General Public *)
11 (* License, with the special exception on linking described in file *)
14 (***********************************************************************)
16 (** N-dimentional caches *)
22 val create : 'a -> 'a t
23 val find : 'a t -> int -> 'a
24 val add : 'a t -> int -> 'a -> unit
25 val dummy : 'a t -> 'a
26 val iteri : (int -> 'a -> bool -> unit) -> 'a t -> unit
27 val stats : 'a t -> int*int
33 val create : 'a -> 'a t
34 val find : 'a t -> int -> int -> 'a
35 val add : 'a t -> int -> int -> 'a -> unit
36 val dummy : 'a t -> 'a
37 val iteri : (int -> int -> 'a -> bool -> unit) -> 'a t -> unit
38 val stats : 'a t -> int*int
44 val create : 'a -> 'a t
45 val find : 'a t -> int -> int -> int -> 'a
46 val add : 'a t -> int -> int -> int -> 'a -> unit
47 val dummy : 'a t -> 'a
48 val iteri : (int -> int -> int -> 'a -> bool -> unit) -> 'a t -> unit
49 val stats : 'a t -> int*int
55 val create : 'a -> 'a t
56 val find : 'a t -> int -> int -> int -> int -> 'a
57 val add : 'a t -> int -> int -> int -> int -> 'a -> unit
58 val dummy : 'a t -> 'a
59 val iteri : (int -> int -> int -> int -> 'a -> bool -> unit) -> 'a t -> unit
60 val stats : 'a t -> int*int
66 val create : 'a -> 'a t
67 val find : 'a t -> int -> int -> int -> int -> int -> 'a
68 val add : 'a t -> int -> int -> int -> int -> int -> 'a -> unit
69 val dummy : 'a t -> 'a
70 val iteri : (int -> int -> int -> int -> int -> 'a -> bool -> unit) -> 'a t -> unit
71 val stats : 'a t -> int*int
77 val create : 'a -> 'a t
78 val find : 'a t -> int -> int -> int -> int -> int -> int -> 'a
79 val add : 'a t -> int -> int -> int -> int -> int -> int -> 'a -> unit
80 val dummy : 'a t -> 'a
81 val iteri : (int -> int -> int -> int -> int -> int -> 'a -> bool -> unit) -> 'a t -> unit
82 val stats : 'a t -> int*int