blob: ab3a24874b27b4f83218586b0202edb421b6b690 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
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
|