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

val make : int -> 'a -> '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