aboutsummaryrefslogtreecommitdiff
path: root/discocaml/arraylist.mli
blob: cf42000b598acad79a3c1b3684484a931eb464d2 (plain)
1
2
3
4
5
6
7
8
9
10
11
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 to_seq : 'a t -> 'a Seq.t
val pp : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit