'a Option_array.t is a compact representation of 'a option array: it avoids allocating heap objects representing Some x, usually representing them with x instead. It uses a special representation for None that's guaranteed to never collide with any representation of Some x.
val create : len :int -> _ t Initially filled with all None
val init_some : int -> f :(int -> 'a ) -> 'a t val init : int -> f :(int -> 'a option -> 'a t val get : 'a t -> int -> 'a optionget t i returns the element number i of array t, raising if i is outside the range 0 to length t - 1.
val get_some_exn : 'a t -> int -> 'a Raises if the element number i is None.
val is_none : _ t -> int -> boolis_none t i = Option.is_none (get t i)
val is_some : _ t -> int -> boolis_some t i = Option.is_some (get t i)
These can cause arbitrary behavior when used for an out-of-bounds array access.
val unsafe_get : 'a t -> int -> 'a optionval unsafe_get_some_exn : 'a t -> int -> 'a val unsafe_is_some : _ t -> int -> boolval set : 'a t -> int -> 'a option-> set t i x modifies array t in place, replacing element number i with x, raising if i is outside the range 0 to length t - 1.
val set_some : 'a t -> int -> 'a -> val set_none : _ t -> int -> unitval swap : _ t -> int -> int -> unitReplaces all the elements of the array with None.
Unsafe versions of set*. Can cause arbitrary behaviour when used for an out-of-bounds array access.
val unsafe_set : 'a t -> int -> 'a option-> val unsafe_set_some : 'a t -> int -> 'a -> val unsafe_set_none : _ t -> int -> unitinclude Blit.S1 with type 'a t := 'a t val blit :
src :'a t -> src_pos :int -> dst :'a t -> dst_pos :int -> len :int -> val blito :
src :'a t -> ?src_pos :int -> ?src_len :int -> dst :'a t -> ?dst_pos :int -> unit ->
unitval unsafe_blit :
src :'a t -> src_pos :int -> dst :'a t -> dst_pos :int -> len :int -> val sub : 'a t -> pos :int -> len :int -> 'a t val subo : ?pos :int -> ?len :int -> 'a t -> 'a t Makes a (shallow) copy of the array.