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
|