1 files changed, 14 insertions, 0 deletions
diff --git a/dynarray.sig b/dynarray.sig
new file mode 100644
index 0000000..ab3a248
--- /dev/null
+++ b/dynarray.sig
@@ -0,0 +1,14 @@
+signature DYNARRAY = sig
+  type 'a t = (int * 'a option Array.array) ref
+
+  exception OutOfBounds
+
+  val create: int -> 'a t
+  val create0: unit -> 'a t
+
+  val length: 'a t -> int
+
+  val push: 'a t -> 'a -> unit
+  val get: 'a t -> int -> 'a
+  val set: 'a t -> int -> 'a -> unit
+end