Removal of unused labels, basic live intervals

1 files changed, 5 insertions, 0 deletions

diff --git a/dynarray.sig b/dynarray.sig
index 7b148c1..a588c0e 100644
--- a/dynarray.sig
+++ b/dynarray.sig
@@ -10,8 +10,13 @@ signature DYNARRAY = sig
   val pushAndGetId: 'a t -> 'a -> int
   val get: 'a t -> int -> 'a
   val set: 'a t -> int -> 'a -> unit
+  val update: 'a t -> ('a -> 'a) -> int -> unit
+  val copy: 'a t -> ('a -> 'b) -> 'b t
 
   val reset: 'a t -> unit
   val toVec: 'a t -> 'a vector
   val appi: (int * 'a -> unit) -> 'a t -> unit
+
+  val pop: 'a t -> 'a
+  val last: 'a t -> 'a
 end