From 6a19540433bcc664958c89cfc21c242f979bb693 Mon Sep 17 00:00:00 2001
From: Vladimir Azarov <avm@intermediate-node.net>
Date: Sun, 3 Aug 2025 17:14:34 +0200
Subject: Struct support

---
 dynarray.sig | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 dynarray.sig

(limited to 'dynarray.sig')

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
-- 
cgit v1.2.3