module JavaReferenceArray:sig..end
type'at ='a java_reference_array
val length : 'a java_reference_array -> int32length a returns the length of a.
Raises Java_exception if a is null.
val get : 'a java_reference_array -> int32 -> 'aget a i returns the element at index i in a.
Raises Java_exception if a is null, or i is out of bounds.
val set : 'a java_reference_array -> int32 -> 'a -> unitset a i x changes the element at index i in a to x.
Raises Java_exception if a is null, or i is out of bounds.
val blit : 'a java_reference_array ->
int32 -> 'a java_reference_array -> int32 -> int32 -> unitblit src srcofs dst dstofs len copies len elements from src at
offset srcofs to dst at offset dstofs.
Raises Java_exception if either src or ofs is null.
val iter : ('a -> unit) -> 'a java_reference_array -> unititer f a applies f to each element of a.
Raises Java_exception if a is null.
val iteri : (int32 -> 'a -> unit) -> 'a java_reference_array -> unititer f a applies f to each element of a (also passing element index).
Raises Java_exception if a is null.
val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b java_reference_array -> 'afold_left f z a returns f (... (f (f z a_0) a_1)) where a_i is
the element of a at index i.
Raises Java_exception if a is null.
val fold_right : ('a -> 'b -> 'b) -> 'a java_reference_array -> 'b -> 'bfold_right f a z returns f a_0 (f a_1 (f ... z)) where a_i is
the element of a at index i.
Raises Java_exception if a is null.
val to_object : 'a java_reference_array -> java'lang'Object java_instanceto_object a casts a to a bare object.val of_object : java'lang'Object java_instance -> 'a java_reference_arrayof_object o casts object o to array.
Raises Java_exception if cast fails.
val null : 'a java_reference_arrayval is_null : 'a java_reference_array -> boolis_null x returns true iff x is equal to null.val is_not_null : 'a java_reference_array -> boolis_not_null x returns false iff x is equal to null.val wrap : 'a java_reference_array -> 'a java_reference_array optionwrap x wraps the array x into an option type:Some x if x is not null;None if x is null.