diff options
| author | Vladimir Azarov <avm@intermediate-node.net> | 2025-08-03 17:14:34 +0200 |
|---|---|---|
| committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-08-03 17:14:34 +0200 |
| commit | 6a19540433bcc664958c89cfc21c242f979bb693 (patch) | |
| tree | 21b8478399b2fc4324eea88cd1a1738426139053 /dynarray.sig | |
| parent | e2074ffd3780e64eae602c1d8a050246cc08b088 (diff) | |
Struct support
Diffstat (limited to 'dynarray.sig')
| -rw-r--r-- | dynarray.sig | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/dynarray.sig b/dynarray.sig new file mode 100644 index 0000000..ab3a248 --- /dev/null +++ b/dynarray.sig @@ -0,0 +1,14 @@ +signature DYNARRAY = sig + type 'a t = (int * 'a option Array.array) ref + + exception OutOfBounds + + val create: int -> 'a t + val create0: unit -> 'a t + + val length: 'a t -> int + + val push: 'a t -> 'a -> unit + val get: 'a t -> int -> 'a + val set: 'a t -> int -> 'a -> unit +end |