src/cache.mli

   1 module Lvl1 :
   2 sig
   3
   4   type 'a t
   5
   6   val create : int -> 'a -> 'a t
   7   val find : 'a t -> int -> 'a
   8   val add : 'a t -> int -> 'a -> unit
   9   val dummy : 'a t -> 'a
  10 (*  val iteri : (int -> 'a -> bool -> unit) -> 'a t -> unit *)
  11 end
  12
  13 module Lvl2:
  14 sig
  15     type 'a t
  16     val create : int -> 'a -> 'a t
  17     val find : 'a t -> int -> int -> 'a
  18     val add : 'a t -> int -> int -> 'a -> unit
  19     val dummy : 'a t -> 'a
  20 (*    val iteri : (int -> int -> 'a -> bool -> unit) -> 'a t -> unit*)
  21 end
  22
  23 module Lvl3 :
  24   sig
  25
  26     type 'a t
  27
  28     val create : int -> 'a -> 'a t
  29     val find : 'a t -> int -> int -> int -> 'a
  30     val add : 'a t -> int -> int -> int -> 'a -> unit
  31     val dummy : 'a t -> 'a
  32 (*    val iteri : (int -> int -> int -> 'a -> bool -> unit) -> 'a t -> unit*)
  33
  34   end