diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-08-06 05:14:27 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-08-06 05:14:27 +0200 |
| commit | 3a3220a049b9fef67ca0f85542654ab0a9de0914 (patch) | |
| tree | 73a82d2579f74c02fb9a227e66f4ef219d44182f /dynarray.sig | |
| parent | a4c60603f61dd1a9f0ce420be9067965586dd694 (diff) | |
Most of conversion to il
Diffstat (limited to 'dynarray.sig')
| -rw-r--r-- | dynarray.sig | 1 |
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 |