Module Jv.JarraySource

JavaScript arrays.

Arrays

Sourcetype t = jv

The type for JavaScript arrays.

Sourceval create : int -> t

create n is an array of length n.

Sourceval length : t -> int

length a is the array length.

Accessors

Sourceval get : t -> int -> t

get a i is the value of array a at index i.

Sourceval set : t -> int -> t -> unit

set a i sets the value of array a at index i to v.