summaryrefslogtreecommitdiff
path: root/dynarray.sig
diff options
context:
space:
mode:
Diffstat (limited to 'dynarray.sig')
-rw-r--r--dynarray.sig1
1 files changed, 1 insertions, 0 deletions
diff --git a/dynarray.sig b/dynarray.sig
index 8e2da7c..7b148c1 100644
--- a/dynarray.sig
+++ b/dynarray.sig
@@ -7,6 +7,7 @@ signature DYNARRAY = sig
val length: 'a t -> int
val push: 'a t -> 'a -> unit
+ val pushAndGetId: 'a t -> 'a -> int
val get: 'a t -> int -> 'a
val set: 'a t -> int -> 'a -> unit