New version of the Grammar data-structure

[SXSI/xpathcomp.git] / src / IntArray.mli

diff --git a/src/IntArray.mli b/src/IntArray.mli
new file mode 100644 (file)
index 0000000..07f82ca
--- /dev/null
+++ b/src/IntArray.mli
@@ -0,0 +1,10 @@
+type t
+
+val create : unit -> t
+val get : t -> int -> int
+val set : t -> int -> int -> unit
+val unsafe_get : t -> int -> int
+val unsafe_set : t -> int -> int -> unit
+val length : t -> int
+val push_back : t -> int -> unit
+val pack : t -> int array