diff --git a/dev/containers-data/CCBV/.dune-keep b/dev/containers-data/CCBV/.dummy similarity index 100% rename from dev/containers-data/CCBV/.dune-keep rename to dev/containers-data/CCBV/.dummy diff --git a/dev/containers-data/CCBijection/.dune-keep b/dev/containers-data/CCBijection/.dummy similarity index 100% rename from dev/containers-data/CCBijection/.dune-keep rename to dev/containers-data/CCBijection/.dummy diff --git a/dev/containers-data/CCBitField/.dune-keep b/dev/containers-data/CCBitField/.dummy similarity index 100% rename from dev/containers-data/CCBitField/.dune-keep rename to dev/containers-data/CCBitField/.dummy diff --git a/dev/containers-data/CCCache/.dune-keep b/dev/containers-data/CCCache/.dummy similarity index 100% rename from dev/containers-data/CCCache/.dune-keep rename to dev/containers-data/CCCache/.dummy diff --git a/dev/containers-data/CCDeque/.dune-keep b/dev/containers-data/CCDeque/.dummy similarity index 100% rename from dev/containers-data/CCDeque/.dune-keep rename to dev/containers-data/CCDeque/.dummy diff --git a/dev/containers-data/CCFQueue/.dune-keep b/dev/containers-data/CCFQueue/.dummy similarity index 100% rename from dev/containers-data/CCFQueue/.dune-keep rename to dev/containers-data/CCFQueue/.dummy diff --git a/dev/containers-data/CCFun_vec/.dune-keep b/dev/containers-data/CCFun_vec/.dummy similarity index 100% rename from dev/containers-data/CCFun_vec/.dune-keep rename to dev/containers-data/CCFun_vec/.dummy diff --git a/dev/containers-data/CCGraph/.dune-keep b/dev/containers-data/CCGraph/.dummy similarity index 100% rename from dev/containers-data/CCGraph/.dune-keep rename to dev/containers-data/CCGraph/.dummy diff --git a/dev/containers-data/CCHashSet/.dune-keep b/dev/containers-data/CCHashSet/.dummy similarity index 100% rename from dev/containers-data/CCHashSet/.dune-keep rename to dev/containers-data/CCHashSet/.dummy diff --git a/dev/containers-data/CCHashTrie/.dune-keep b/dev/containers-data/CCHashTrie/.dummy similarity index 100% rename from dev/containers-data/CCHashTrie/.dune-keep rename to dev/containers-data/CCHashTrie/.dummy diff --git a/dev/containers-data/CCHet/.dune-keep b/dev/containers-data/CCHet/.dummy similarity index 100% rename from dev/containers-data/CCHet/.dune-keep rename to dev/containers-data/CCHet/.dummy diff --git a/dev/containers-data/CCImmutArray/.dune-keep b/dev/containers-data/CCImmutArray/.dummy similarity index 100% rename from dev/containers-data/CCImmutArray/.dune-keep rename to dev/containers-data/CCImmutArray/.dummy diff --git a/dev/containers-data/CCIntMap/.dune-keep b/dev/containers-data/CCIntMap/.dummy similarity index 100% rename from dev/containers-data/CCIntMap/.dune-keep rename to dev/containers-data/CCIntMap/.dummy diff --git a/dev/containers-data/CCKTree/.dune-keep b/dev/containers-data/CCKTree/.dummy similarity index 100% rename from dev/containers-data/CCKTree/.dune-keep rename to dev/containers-data/CCKTree/.dummy diff --git a/dev/containers-data/CCLazy_list/.dune-keep b/dev/containers-data/CCLazy_list/.dummy similarity index 100% rename from dev/containers-data/CCLazy_list/.dune-keep rename to dev/containers-data/CCLazy_list/.dummy diff --git a/dev/containers-data/CCMixmap/.dune-keep b/dev/containers-data/CCMixmap/.dummy similarity index 100% rename from dev/containers-data/CCMixmap/.dune-keep rename to dev/containers-data/CCMixmap/.dummy diff --git a/dev/containers-data/CCMixset/.dune-keep b/dev/containers-data/CCMixset/.dummy similarity index 100% rename from dev/containers-data/CCMixset/.dune-keep rename to dev/containers-data/CCMixset/.dummy diff --git a/dev/containers-data/CCMixtbl/.dune-keep b/dev/containers-data/CCMixtbl/.dummy similarity index 100% rename from dev/containers-data/CCMixtbl/.dune-keep rename to dev/containers-data/CCMixtbl/.dummy diff --git a/dev/containers-data/CCMultiMap/.dune-keep b/dev/containers-data/CCMultiMap/.dummy similarity index 100% rename from dev/containers-data/CCMultiMap/.dune-keep rename to dev/containers-data/CCMultiMap/.dummy diff --git a/dev/containers-data/CCMultiSet/.dune-keep b/dev/containers-data/CCMultiSet/.dummy similarity index 100% rename from dev/containers-data/CCMultiSet/.dune-keep rename to dev/containers-data/CCMultiSet/.dummy diff --git a/dev/containers-data/CCMutHeap/.dune-keep b/dev/containers-data/CCMutHeap/.dummy similarity index 100% rename from dev/containers-data/CCMutHeap/.dune-keep rename to dev/containers-data/CCMutHeap/.dummy diff --git a/dev/containers-data/CCMutHeap_intf/.dune-keep b/dev/containers-data/CCMutHeap_intf/.dummy similarity index 100% rename from dev/containers-data/CCMutHeap_intf/.dune-keep rename to dev/containers-data/CCMutHeap_intf/.dummy diff --git a/dev/containers-data/CCPersistentArray/.dune-keep b/dev/containers-data/CCPersistentArray/.dummy similarity index 100% rename from dev/containers-data/CCPersistentArray/.dune-keep rename to dev/containers-data/CCPersistentArray/.dummy diff --git a/dev/containers-data/CCPersistentHashtbl/.dune-keep b/dev/containers-data/CCPersistentHashtbl/.dummy similarity index 100% rename from dev/containers-data/CCPersistentHashtbl/.dune-keep rename to dev/containers-data/CCPersistentHashtbl/.dummy diff --git a/dev/containers-data/CCRAL/.dune-keep b/dev/containers-data/CCRAL/.dummy similarity index 100% rename from dev/containers-data/CCRAL/.dune-keep rename to dev/containers-data/CCRAL/.dummy diff --git a/dev/containers-data/CCRingBuffer/.dune-keep b/dev/containers-data/CCRingBuffer/.dummy similarity index 100% rename from dev/containers-data/CCRingBuffer/.dune-keep rename to dev/containers-data/CCRingBuffer/.dummy diff --git a/dev/containers-data/CCSimple_queue/.dune-keep b/dev/containers-data/CCSimple_queue/.dummy similarity index 100% rename from dev/containers-data/CCSimple_queue/.dune-keep rename to dev/containers-data/CCSimple_queue/.dummy diff --git a/dev/containers-data/CCTrie/.dune-keep b/dev/containers-data/CCTrie/.dummy similarity index 100% rename from dev/containers-data/CCTrie/.dune-keep rename to dev/containers-data/CCTrie/.dummy diff --git a/dev/containers-data/CCWBTree/.dune-keep b/dev/containers-data/CCWBTree/.dummy similarity index 100% rename from dev/containers-data/CCWBTree/.dune-keep rename to dev/containers-data/CCWBTree/.dummy diff --git a/dev/containers-data/CCZipper/.dune-keep b/dev/containers-data/CCZipper/.dummy similarity index 100% rename from dev/containers-data/CCZipper/.dune-keep rename to dev/containers-data/CCZipper/.dummy diff --git a/dev/containers-data/Containers_data_top/.dune-keep b/dev/containers-data/Containers_data_top/.dummy similarity index 100% rename from dev/containers-data/Containers_data_top/.dune-keep rename to dev/containers-data/Containers_data_top/.dummy diff --git a/dev/containers-thread/CCBlockingQueue/.dune-keep b/dev/containers-thread/CCBlockingQueue/.dummy similarity index 100% rename from dev/containers-thread/CCBlockingQueue/.dune-keep rename to dev/containers-thread/CCBlockingQueue/.dummy diff --git a/dev/containers-thread/CCLock/.dune-keep b/dev/containers-thread/CCLock/.dummy similarity index 100% rename from dev/containers-thread/CCLock/.dune-keep rename to dev/containers-thread/CCLock/.dummy diff --git a/dev/containers-thread/CCPool/.dune-keep b/dev/containers-thread/CCPool/.dummy similarity index 100% rename from dev/containers-thread/CCPool/.dune-keep rename to dev/containers-thread/CCPool/.dummy diff --git a/dev/containers-thread/CCSemaphore/.dune-keep b/dev/containers-thread/CCSemaphore/.dummy similarity index 100% rename from dev/containers-thread/CCSemaphore/.dune-keep rename to dev/containers-thread/CCSemaphore/.dummy diff --git a/dev/containers-thread/CCThread/.dune-keep b/dev/containers-thread/CCThread/.dummy similarity index 100% rename from dev/containers-thread/CCThread/.dune-keep rename to dev/containers-thread/CCThread/.dummy diff --git a/dev/containers-thread/CCTimer/.dune-keep b/dev/containers-thread/CCTimer/.dummy similarity index 100% rename from dev/containers-thread/CCTimer/.dune-keep rename to dev/containers-thread/CCTimer/.dummy diff --git a/dev/containers/CCArray/.dune-keep b/dev/containers/CCArray/.dummy similarity index 100% rename from dev/containers/CCArray/.dune-keep rename to dev/containers/CCArray/.dummy diff --git a/dev/containers/CCArrayLabels/.dune-keep b/dev/containers/CCArrayLabels/.dummy similarity index 100% rename from dev/containers/CCArrayLabels/.dune-keep rename to dev/containers/CCArrayLabels/.dummy diff --git a/dev/containers/CCAtomic/.dune-keep b/dev/containers/CCAtomic/.dummy similarity index 100% rename from dev/containers/CCAtomic/.dune-keep rename to dev/containers/CCAtomic/.dummy diff --git a/dev/containers/CCBool/.dune-keep b/dev/containers/CCBool/.dummy similarity index 100% rename from dev/containers/CCBool/.dune-keep rename to dev/containers/CCBool/.dummy diff --git a/dev/containers/CCByte_buffer/.dune-keep b/dev/containers/CCByte_buffer/.dummy similarity index 100% rename from dev/containers/CCByte_buffer/.dune-keep rename to dev/containers/CCByte_buffer/.dummy diff --git a/dev/containers/CCCanonical_sexp/.dune-keep b/dev/containers/CCCanonical_sexp/.dummy similarity index 100% rename from dev/containers/CCCanonical_sexp/.dune-keep rename to dev/containers/CCCanonical_sexp/.dummy diff --git a/dev/containers/CCChar/.dune-keep b/dev/containers/CCChar/.dummy similarity index 100% rename from dev/containers/CCChar/.dune-keep rename to dev/containers/CCChar/.dummy diff --git a/dev/containers/CCEither/.dune-keep b/dev/containers/CCEither/.dummy similarity index 100% rename from dev/containers/CCEither/.dune-keep rename to dev/containers/CCEither/.dummy diff --git a/dev/containers/CCEqual/.dune-keep b/dev/containers/CCEqual/.dummy similarity index 100% rename from dev/containers/CCEqual/.dune-keep rename to dev/containers/CCEqual/.dummy diff --git a/dev/containers/CCEqualLabels/.dune-keep b/dev/containers/CCEqualLabels/.dummy similarity index 100% rename from dev/containers/CCEqualLabels/.dune-keep rename to dev/containers/CCEqualLabels/.dummy diff --git a/dev/containers/CCFloat/.dune-keep b/dev/containers/CCFloat/.dummy similarity index 100% rename from dev/containers/CCFloat/.dune-keep rename to dev/containers/CCFloat/.dummy diff --git a/dev/containers/CCFormat/.dune-keep b/dev/containers/CCFormat/.dummy similarity index 100% rename from dev/containers/CCFormat/.dune-keep rename to dev/containers/CCFormat/.dummy diff --git a/dev/containers/CCFun/.dune-keep b/dev/containers/CCFun/.dummy similarity index 100% rename from dev/containers/CCFun/.dune-keep rename to dev/containers/CCFun/.dummy diff --git a/dev/containers/CCHash/.dune-keep b/dev/containers/CCHash/.dummy similarity index 100% rename from dev/containers/CCHash/.dune-keep rename to dev/containers/CCHash/.dummy diff --git a/dev/containers/CCHashtbl/.dune-keep b/dev/containers/CCHashtbl/.dummy similarity index 100% rename from dev/containers/CCHashtbl/.dune-keep rename to dev/containers/CCHashtbl/.dummy diff --git a/dev/containers/CCHeap/.dune-keep b/dev/containers/CCHeap/.dummy similarity index 100% rename from dev/containers/CCHeap/.dune-keep rename to dev/containers/CCHeap/.dummy diff --git a/dev/containers/CCIO/.dune-keep b/dev/containers/CCIO/.dummy similarity index 100% rename from dev/containers/CCIO/.dune-keep rename to dev/containers/CCIO/.dummy diff --git a/dev/containers/CCInt/.dune-keep b/dev/containers/CCInt/.dummy similarity index 100% rename from dev/containers/CCInt/.dune-keep rename to dev/containers/CCInt/.dummy diff --git a/dev/containers/CCInt32/.dune-keep b/dev/containers/CCInt32/.dummy similarity index 100% rename from dev/containers/CCInt32/.dune-keep rename to dev/containers/CCInt32/.dummy diff --git a/dev/containers/CCInt64/.dune-keep b/dev/containers/CCInt64/.dummy similarity index 100% rename from dev/containers/CCInt64/.dune-keep rename to dev/containers/CCInt64/.dummy diff --git a/dev/containers/CCList/.dune-keep b/dev/containers/CCList/.dummy similarity index 100% rename from dev/containers/CCList/.dune-keep rename to dev/containers/CCList/.dummy diff --git a/dev/containers/CCListLabels/.dune-keep b/dev/containers/CCListLabels/.dummy similarity index 100% rename from dev/containers/CCListLabels/.dune-keep rename to dev/containers/CCListLabels/.dummy diff --git a/dev/containers/CCMap/.dune-keep b/dev/containers/CCMap/.dummy similarity index 100% rename from dev/containers/CCMap/.dune-keep rename to dev/containers/CCMap/.dummy diff --git a/dev/containers/CCMonomorphic/.dune-keep b/dev/containers/CCMonomorphic/.dummy similarity index 100% rename from dev/containers/CCMonomorphic/.dune-keep rename to dev/containers/CCMonomorphic/.dummy diff --git a/dev/containers/CCMonomorphicShims_/.dune-keep b/dev/containers/CCMonomorphicShims_/.dummy similarity index 100% rename from dev/containers/CCMonomorphicShims_/.dune-keep rename to dev/containers/CCMonomorphicShims_/.dummy diff --git a/dev/containers/CCNativeint/.dune-keep b/dev/containers/CCNativeint/.dummy similarity index 100% rename from dev/containers/CCNativeint/.dune-keep rename to dev/containers/CCNativeint/.dummy diff --git a/dev/containers/CCOpt/.dune-keep b/dev/containers/CCOpt/.dummy similarity index 100% rename from dev/containers/CCOpt/.dune-keep rename to dev/containers/CCOpt/.dummy diff --git a/dev/containers/CCOption/.dune-keep b/dev/containers/CCOption/.dummy similarity index 100% rename from dev/containers/CCOption/.dune-keep rename to dev/containers/CCOption/.dummy diff --git a/dev/containers/CCOrd/.dune-keep b/dev/containers/CCOrd/.dummy similarity index 100% rename from dev/containers/CCOrd/.dune-keep rename to dev/containers/CCOrd/.dummy diff --git a/dev/containers/CCPair/.dune-keep b/dev/containers/CCPair/.dummy similarity index 100% rename from dev/containers/CCPair/.dune-keep rename to dev/containers/CCPair/.dummy diff --git a/dev/containers/CCParse/.dune-keep b/dev/containers/CCParse/.dummy similarity index 100% rename from dev/containers/CCParse/.dune-keep rename to dev/containers/CCParse/.dummy diff --git a/dev/containers/CCRandom/.dune-keep b/dev/containers/CCRandom/.dummy similarity index 100% rename from dev/containers/CCRandom/.dune-keep rename to dev/containers/CCRandom/.dummy diff --git a/dev/containers/CCRef/.dune-keep b/dev/containers/CCRef/.dummy similarity index 100% rename from dev/containers/CCRef/.dune-keep rename to dev/containers/CCRef/.dummy diff --git a/dev/containers/CCResult/.dune-keep b/dev/containers/CCResult/.dummy similarity index 100% rename from dev/containers/CCResult/.dune-keep rename to dev/containers/CCResult/.dummy diff --git a/dev/containers/CCSeq/.dune-keep b/dev/containers/CCSeq/.dummy similarity index 100% rename from dev/containers/CCSeq/.dune-keep rename to dev/containers/CCSeq/.dummy diff --git a/dev/containers/CCSet/.dune-keep b/dev/containers/CCSet/.dummy similarity index 100% rename from dev/containers/CCSet/.dune-keep rename to dev/containers/CCSet/.dummy diff --git a/dev/containers/CCSexp/.dune-keep b/dev/containers/CCSexp/.dummy similarity index 100% rename from dev/containers/CCSexp/.dune-keep rename to dev/containers/CCSexp/.dummy diff --git a/dev/containers/CCSexp_intf/.dune-keep b/dev/containers/CCSexp_intf/.dummy similarity index 100% rename from dev/containers/CCSexp_intf/.dune-keep rename to dev/containers/CCSexp_intf/.dummy diff --git a/dev/containers/CCSexp_lex/.dune-keep b/dev/containers/CCSexp_lex/.dummy similarity index 100% rename from dev/containers/CCSexp_lex/.dune-keep rename to dev/containers/CCSexp_lex/.dummy diff --git a/dev/containers/CCShimsArrayLabels_/.dune-keep b/dev/containers/CCShimsArrayLabels_/.dummy similarity index 100% rename from dev/containers/CCShimsArrayLabels_/.dune-keep rename to dev/containers/CCShimsArrayLabels_/.dummy diff --git a/dev/containers/CCShimsArray_/.dune-keep b/dev/containers/CCShimsArray_/.dummy similarity index 100% rename from dev/containers/CCShimsArray_/.dune-keep rename to dev/containers/CCShimsArray_/.dummy diff --git a/dev/containers/CCShimsFormat_/.dune-keep b/dev/containers/CCShimsFormat_/.dummy similarity index 100% rename from dev/containers/CCShimsFormat_/.dune-keep rename to dev/containers/CCShimsFormat_/.dummy diff --git a/dev/containers/CCShimsFun_/.dune-keep b/dev/containers/CCShimsFun_/.dummy similarity index 100% rename from dev/containers/CCShimsFun_/.dune-keep rename to dev/containers/CCShimsFun_/.dummy diff --git a/dev/containers/CCShimsInt_/.dune-keep b/dev/containers/CCShimsInt_/.dummy similarity index 100% rename from dev/containers/CCShimsInt_/.dune-keep rename to dev/containers/CCShimsInt_/.dummy diff --git a/dev/containers/CCShimsList_/.dune-keep b/dev/containers/CCShimsList_/.dummy similarity index 100% rename from dev/containers/CCShimsList_/.dune-keep rename to dev/containers/CCShimsList_/.dummy diff --git a/dev/containers/CCShimsMkLetList_/.dune-keep b/dev/containers/CCShimsMkLetList_/.dummy similarity index 100% rename from dev/containers/CCShimsMkLetList_/.dune-keep rename to dev/containers/CCShimsMkLetList_/.dummy diff --git a/dev/containers/CCShimsMkLet_/.dune-keep b/dev/containers/CCShimsMkLet_/.dummy similarity index 100% rename from dev/containers/CCShimsMkLet_/.dune-keep rename to dev/containers/CCShimsMkLet_/.dummy diff --git a/dev/containers/CCShims_/.dune-keep b/dev/containers/CCShims_/.dummy similarity index 100% rename from dev/containers/CCShims_/.dune-keep rename to dev/containers/CCShims_/.dummy diff --git a/dev/containers/CCString/.dune-keep b/dev/containers/CCString/.dummy similarity index 100% rename from dev/containers/CCString/.dune-keep rename to dev/containers/CCString/.dummy diff --git a/dev/containers/CCStringLabels/.dune-keep b/dev/containers/CCStringLabels/.dummy similarity index 100% rename from dev/containers/CCStringLabels/.dune-keep rename to dev/containers/CCStringLabels/.dummy diff --git a/dev/containers/CCUnit/.dune-keep b/dev/containers/CCUnit/.dummy similarity index 100% rename from dev/containers/CCUnit/.dune-keep rename to dev/containers/CCUnit/.dummy diff --git a/dev/containers/CCUnix/.dune-keep b/dev/containers/CCUnix/.dummy similarity index 100% rename from dev/containers/CCUnix/.dune-keep rename to dev/containers/CCUnix/.dummy diff --git a/dev/containers/CCUtf8_string/.dune-keep b/dev/containers/CCUtf8_string/.dummy similarity index 100% rename from dev/containers/CCUtf8_string/.dune-keep rename to dev/containers/CCUtf8_string/.dummy diff --git a/dev/containers/CCVector/.dune-keep b/dev/containers/CCVector/.dummy similarity index 100% rename from dev/containers/CCVector/.dune-keep rename to dev/containers/CCVector/.dummy diff --git a/dev/containers/CCVector/index.html b/dev/containers/CCVector/index.html index 65ad3075..0dd482f4 100644 --- a/dev/containers/CCVector/index.html +++ b/dev/containers/CCVector/index.html @@ -3,7 +3,7 @@ ( 'a -> 'b -> 'c ) -> ( 'a, _ ) t -> ( 'b, _ ) t -> - ( 'c, _ ) t
All combinaisons of tuples from the two vectors are passed to the function.
val get : ( 'a, _ ) t -> int -> 'aAccess element by its index, or
remove_and_shift v i remove the i-th element from v. Move elements that are after the i-th in v, in linear time. Preserve the order of the elements in v. See remove_unordered for constant time removal function that doesn't preserve the order of elements.
remove_unordered v i remove the i-th element from v. Does NOT preserve the order of the elements in v (might swap with the last element). See remove_and_shift if you want to keep the ordering.
val rev_iter : ( 'a -> unit ) -> ( 'a, _ ) t -> unitrev_iter f a is the same as iter f (rev a), only more efficient.
val size : ( 'a, _ ) t -> intNumber of elements in the vector.
val capacity : ( _, _ ) t -> intNumber of elements the vector can contain without being resized.
Access the underlying shared array (do not modify!). unsafe_get_array v is longer than size v, but elements at higher index than size v are undefined (do not access!).
val (--) : int -> int -> ( int, 'mut ) tRange of integers, either ascending or descending (both included, therefore the result is never empty). Example: 1 -- 10 returns the vector [1;2;3;4;5;6;7;8;9;10].
val (--^) : int -> int -> ( int, 'mut ) tRange of integers, either ascending or descending, but excluding right. Example: 1 --^ 10 returns the vector [1;2;3;4;5;6;7;8;9].
val of_array : 'a array -> ( 'a, 'mut ) tof_array a returns a vector corresponding to the array a. Operates in O(n) time.
val of_list : 'a list -> ( 'a, 'mut ) tval to_array : ( 'a, _ ) t -> 'a arrayto_array v returns an array corresponding to the vector v.
val to_list : ( 'a, _ ) t -> 'a listReturn a list with the elements contained in the vector.
Convert an Iterator to a vector. Renamed from of_std_seq since 3.0.
to_iter_rev v returns the sequence of elements of v in reverse order, that is, the last elements of v are iterated on first.
val to_seq : ( 'a, _ ) t -> 'a Stdlib.Seq.tReturn an iterator with the elements contained in the vector. Renamed from to_std_seq since 3.0.
val to_seq_rev : ( 'a, _ ) t -> 'a Stdlib.Seq.tto_seq v returns the sequence of elements of v in reverse order, that is, the last elements of v are iterated on first. Renamed from to_std_seq since 3.0.
Vector as an array slice. By doing it we expose the internal array, so be careful!.
slice_iter v start len is the sequence of elements from v.(start) to v.(start+len-1).
val to_string :
+ ( 'c, _ ) tAll combinaisons of tuples from the two vectors are passed to the function.
val get : ( 'a, _ ) t -> int -> 'aAccess element by its index, or
remove_and_shift v i remove the i-th element from v. Move elements that are after the i-th in v, in linear time. Preserve the order of the elements in v. See remove_unordered for constant time removal function that doesn't preserve the order of elements.
remove_unordered v i remove the i-th element from v. Does NOT preserve the order of the elements in v (might swap with the last element). See remove_and_shift if you want to keep the ordering.
insert v i x insert the given element at index i. Elements at location i and later are first shifted over in linear time before inserting x. Preserve the order of elements in v.
val rev_iter : ( 'a -> unit ) -> ( 'a, _ ) t -> unitrev_iter f a is the same as iter f (rev a), only more efficient.
val size : ( 'a, _ ) t -> intNumber of elements in the vector.
val capacity : ( _, _ ) t -> intNumber of elements the vector can contain without being resized.
Access the underlying shared array (do not modify!). unsafe_get_array v is longer than size v, but elements at higher index than size v are undefined (do not access!).
val (--) : int -> int -> ( int, 'mut ) tRange of integers, either ascending or descending (both included, therefore the result is never empty). Example: 1 -- 10 returns the vector [1;2;3;4;5;6;7;8;9;10].
val (--^) : int -> int -> ( int, 'mut ) tRange of integers, either ascending or descending, but excluding right. Example: 1 --^ 10 returns the vector [1;2;3;4;5;6;7;8;9].
val of_array : 'a array -> ( 'a, 'mut ) tof_array a returns a vector corresponding to the array a. Operates in O(n) time.
val of_list : 'a list -> ( 'a, 'mut ) tval to_array : ( 'a, _ ) t -> 'a arrayto_array v returns an array corresponding to the vector v.
val to_list : ( 'a, _ ) t -> 'a listReturn a list with the elements contained in the vector.
Convert an Iterator to a vector. Renamed from of_std_seq since 3.0.
to_iter_rev v returns the sequence of elements of v in reverse order, that is, the last elements of v are iterated on first.
val to_seq : ( 'a, _ ) t -> 'a Stdlib.Seq.tReturn an iterator with the elements contained in the vector. Renamed from to_std_seq since 3.0.
val to_seq_rev : ( 'a, _ ) t -> 'a Stdlib.Seq.tto_seq v returns the sequence of elements of v in reverse order, that is, the last elements of v are iterated on first. Renamed from to_std_seq since 3.0.
Vector as an array slice. By doing it we expose the internal array, so be careful!.
slice_iter v start len is the sequence of elements from v.(start) to v.(start+len-1).
val to_string :
?start:string ->
?stop:string ->
?sep:string ->
diff --git a/dev/containers/Containers/.dune-keep b/dev/containers/Containers/.dummy
similarity index 100%
rename from dev/containers/Containers/.dune-keep
rename to dev/containers/Containers/.dummy
diff --git a/dev/containers/ContainersLabels/.dune-keep b/dev/containers/ContainersLabels/.dummy
similarity index 100%
rename from dev/containers/ContainersLabels/.dune-keep
rename to dev/containers/ContainersLabels/.dummy
diff --git a/dev/containers/Containers_codegen/.dune-keep b/dev/containers/Containers_codegen/.dummy
similarity index 100%
rename from dev/containers/Containers_codegen/.dune-keep
rename to dev/containers/Containers_codegen/.dummy
diff --git a/dev/containers/Containers_top/.dune-keep b/dev/containers/Containers_top/.dummy
similarity index 100%
rename from dev/containers/Containers_top/.dune-keep
rename to dev/containers/Containers_top/.dummy