RefList.IndexFunctions that operate on the ith element of a list.
While it is sometimes necessary to perform these operations on lists (hence their inclusion here), the functions were moved to an inner module to prevent their overuse: all functions work in O(n) time. You might prefer to use Array or DynArray for constant time indexed element access.
val index_of : 'a t -> 'a -> intReturn the index (position : 0 starting) of an element in a ref list, using ( = ) for testing element equality raise Not_found if no element was found
val index : ('a -> bool) -> 'a t -> intReturn the index (position : 0 starting) of an element in a ref list, using the specified comparator raise Not_found if no element was found
val at_index : 'a t -> int -> 'aReturn the element of ref list at the specified index raise Invalid_index if the index is outside 0 ; length-1
val set : 'a t -> int -> 'a -> unitChange the element at the specified index raise Invalid_index if the index is outside 0 ; length-1
val remove_at : 'a t -> int -> unitRemove the element at the specified index raise Invalid_index if the index is outside 0 ; length-1