X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2FIntArray.mli;fp=src%2FIntArray.mli;h=07f82ca393b2d52d0f1fbdc6d126d780b4123b7c;hb=3dc9065cb7e4b38bf25e6fb50017efa5b11de4ff;hp=0000000000000000000000000000000000000000;hpb=ae5b9f9b96a702ae8a8f61a31e5aa012283ce185;p=SXSI%2Fxpathcomp.git

diff --git a/src/IntArray.mli b/src/IntArray.mli
new file mode 100644
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