summaryrefslogtreecommitdiff
path: root/dynarray.sig
diff options
context:
space:
mode:
Diffstat (limited to 'dynarray.sig')
-rw-r--r--dynarray.sig5
1 files changed, 3 insertions, 2 deletions
diff --git a/dynarray.sig b/dynarray.sig
index ab3a248..0aa8f0b 100644
--- a/dynarray.sig
+++ b/dynarray.sig
@@ -1,8 +1,6 @@
signature DYNARRAY = sig
type 'a t = (int * 'a option Array.array) ref
- exception OutOfBounds
-
val create: int -> 'a t
val create0: unit -> 'a t
@@ -11,4 +9,7 @@ signature DYNARRAY = sig
val push: 'a t -> 'a -> unit
val get: 'a t -> int -> 'a
val set: 'a t -> int -> 'a -> unit
+
+ val reset: 'a t -> unit
+ val toVec: 'a t -> 'a vector
end