X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fcache.mli;h=2d52dc70c5ae9095d89aaa5f7c61b1e243788646;hb=1975eef2d0933da3c01faec1cd14bc8fbf6bf146;hp=87ddfd94826a8f30a37dea72113ea30b428cc3d2;hpb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;p=SXSI%2Fxpathcomp.git

diff --git a/src/cache.mli b/src/cache.mli
index 87ddfd9..2d52dc7 100644
--- a/src/cache.mli
+++ b/src/cache.mli
@@ -1,17 +1,27 @@
 type 'a t
 
 val create : int -> 'a -> 'a t
-
 val find : 'a t -> int -> 'a
-
 val add : 'a t -> int -> 'a -> unit
-
 val dummy : 'a t -> 'a
-
 val to_array : 'a t -> 'a array
 
-module Lvl2 :
-  sig
+
+module Lvl1 :
+sig
+
+  type 'a t
+
+  val create : int -> 'a -> 'a t
+  val find : 'a t -> int -> 'a
+  val add : 'a t -> int -> 'a -> unit
+  val dummy : 'a t -> 'a
+  val to_array : 'a t -> 'a array
+
+end
+
+module Lvl2:
+sig
 
     type 'a t
 
@@ -22,7 +32,7 @@ module Lvl2 :
     val dummy_line :  'a t -> 'a array
     val to_array : 'a t -> 'a array array
 
-  end
+end
 
 module Lvl3 :
   sig
@@ -34,4 +44,5 @@ module Lvl3 :
     val add : 'a t -> int -> int -> int -> 'a -> unit
     val dummy : 'a t -> 'a
     val to_array : 'a t -> 'a array array array
+
   end