From b0cb85edf2b60f6f0909355db717376f435ab312 Mon Sep 17 00:00:00 2001
From: Vladimir Azarov <avm@intermediate-node.net>
Date: Thu, 7 Aug 2025 22:25:26 +0200
Subject: Removal of unused labels, basic live intervals

---
 dynarray.sig | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'dynarray.sig')

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