aboutsummaryrefslogtreecommitdiff
path: root/discocaml/arraylist.mli
blob: 6b40ce0d3efb915f23da03d98c75880d2b574285 (plain)
1
2
3
4
5
6
7
8
9
10
type 'a t

val make : int -> 'a -> 'a t
val copy : 'a t -> 'a t
val length : 'a t -> int
val get : 'a t -> int -> 'a
val set : 'a t -> int -> 'a -> unit
val push : 'a t -> 'a -> unit
val to_array : 'a t -> 'a array
val pp : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit