From 5ab4cca8c9bd6014f086ad791cea540ba63ca52f Mon Sep 17 00:00:00 2001 From: c-cube Date: Mon, 21 Feb 2022 19:51:19 +0000 Subject: [PATCH] deploy: 5840d677c0f14673f2fd7577a5a19b4d32f87360 --- dev/containers-data/CCBV/{.dune-keep => .dummy} | 0 dev/containers-data/CCBijection/{.dune-keep => .dummy} | 0 dev/containers-data/CCBitField/{.dune-keep => .dummy} | 0 dev/containers-data/CCCache/{.dune-keep => .dummy} | 0 dev/containers-data/CCDeque/{.dune-keep => .dummy} | 0 dev/containers-data/CCFQueue/{.dune-keep => .dummy} | 0 dev/containers-data/CCFun_vec/{.dune-keep => .dummy} | 0 dev/containers-data/CCGraph/{.dune-keep => .dummy} | 0 dev/containers-data/CCHashSet/{.dune-keep => .dummy} | 0 dev/containers-data/CCHashTrie/{.dune-keep => .dummy} | 0 dev/containers-data/CCHet/{.dune-keep => .dummy} | 0 dev/containers-data/CCImmutArray/{.dune-keep => .dummy} | 0 dev/containers-data/CCIntMap/{.dune-keep => .dummy} | 0 dev/containers-data/CCKTree/{.dune-keep => .dummy} | 0 dev/containers-data/CCLazy_list/{.dune-keep => .dummy} | 0 dev/containers-data/CCMixmap/{.dune-keep => .dummy} | 0 dev/containers-data/CCMixset/{.dune-keep => .dummy} | 0 dev/containers-data/CCMixtbl/{.dune-keep => .dummy} | 0 dev/containers-data/CCMultiMap/{.dune-keep => .dummy} | 0 dev/containers-data/CCMultiSet/{.dune-keep => .dummy} | 0 dev/containers-data/CCMutHeap/{.dune-keep => .dummy} | 0 dev/containers-data/CCMutHeap_intf/{.dune-keep => .dummy} | 0 dev/containers-data/CCPersistentArray/{.dune-keep => .dummy} | 0 dev/containers-data/CCPersistentHashtbl/{.dune-keep => .dummy} | 0 dev/containers-data/CCRAL/{.dune-keep => .dummy} | 0 dev/containers-data/CCRingBuffer/{.dune-keep => .dummy} | 0 dev/containers-data/CCSimple_queue/{.dune-keep => .dummy} | 0 dev/containers-data/CCTrie/{.dune-keep => .dummy} | 0 dev/containers-data/CCWBTree/{.dune-keep => .dummy} | 0 dev/containers-data/CCZipper/{.dune-keep => .dummy} | 0 dev/containers-data/Containers_data_top/{.dune-keep => .dummy} | 0 dev/containers-thread/CCBlockingQueue/{.dune-keep => .dummy} | 0 dev/containers-thread/CCLock/{.dune-keep => .dummy} | 0 dev/containers-thread/CCPool/{.dune-keep => .dummy} | 0 dev/containers-thread/CCSemaphore/{.dune-keep => .dummy} | 0 dev/containers-thread/CCThread/{.dune-keep => .dummy} | 0 dev/containers-thread/CCTimer/{.dune-keep => .dummy} | 0 dev/containers/CCArray/{.dune-keep => .dummy} | 0 dev/containers/CCArrayLabels/{.dune-keep => .dummy} | 0 dev/containers/CCAtomic/{.dune-keep => .dummy} | 0 dev/containers/CCBool/{.dune-keep => .dummy} | 0 dev/containers/CCByte_buffer/{.dune-keep => .dummy} | 0 dev/containers/CCCanonical_sexp/{.dune-keep => .dummy} | 0 dev/containers/CCChar/{.dune-keep => .dummy} | 0 dev/containers/CCEither/{.dune-keep => .dummy} | 0 dev/containers/CCEqual/{.dune-keep => .dummy} | 0 dev/containers/CCEqualLabels/{.dune-keep => .dummy} | 0 dev/containers/CCFloat/{.dune-keep => .dummy} | 0 dev/containers/CCFormat/{.dune-keep => .dummy} | 0 dev/containers/CCFun/{.dune-keep => .dummy} | 0 dev/containers/CCHash/{.dune-keep => .dummy} | 0 dev/containers/CCHashtbl/{.dune-keep => .dummy} | 0 dev/containers/CCHeap/{.dune-keep => .dummy} | 0 dev/containers/CCIO/{.dune-keep => .dummy} | 0 dev/containers/CCInt/{.dune-keep => .dummy} | 0 dev/containers/CCInt32/{.dune-keep => .dummy} | 0 dev/containers/CCInt64/{.dune-keep => .dummy} | 0 dev/containers/CCList/{.dune-keep => .dummy} | 0 dev/containers/CCListLabels/{.dune-keep => .dummy} | 0 dev/containers/CCMap/{.dune-keep => .dummy} | 0 dev/containers/CCMonomorphic/{.dune-keep => .dummy} | 0 dev/containers/CCMonomorphicShims_/{.dune-keep => .dummy} | 0 dev/containers/CCNativeint/{.dune-keep => .dummy} | 0 dev/containers/CCOpt/{.dune-keep => .dummy} | 0 dev/containers/CCOption/{.dune-keep => .dummy} | 0 dev/containers/CCOrd/{.dune-keep => .dummy} | 0 dev/containers/CCPair/{.dune-keep => .dummy} | 0 dev/containers/CCParse/{.dune-keep => .dummy} | 0 dev/containers/CCRandom/{.dune-keep => .dummy} | 0 dev/containers/CCRef/{.dune-keep => .dummy} | 0 dev/containers/CCResult/{.dune-keep => .dummy} | 0 dev/containers/CCSeq/{.dune-keep => .dummy} | 0 dev/containers/CCSet/{.dune-keep => .dummy} | 0 dev/containers/CCSexp/{.dune-keep => .dummy} | 0 dev/containers/CCSexp_intf/{.dune-keep => .dummy} | 0 dev/containers/CCSexp_lex/{.dune-keep => .dummy} | 0 dev/containers/CCShimsArrayLabels_/{.dune-keep => .dummy} | 0 dev/containers/CCShimsArray_/{.dune-keep => .dummy} | 0 dev/containers/CCShimsFormat_/{.dune-keep => .dummy} | 0 dev/containers/CCShimsFun_/{.dune-keep => .dummy} | 0 dev/containers/CCShimsInt_/{.dune-keep => .dummy} | 0 dev/containers/CCShimsList_/{.dune-keep => .dummy} | 0 dev/containers/CCShimsMkLetList_/{.dune-keep => .dummy} | 0 dev/containers/CCShimsMkLet_/{.dune-keep => .dummy} | 0 dev/containers/CCShims_/{.dune-keep => .dummy} | 0 dev/containers/CCString/{.dune-keep => .dummy} | 0 dev/containers/CCStringLabels/{.dune-keep => .dummy} | 0 dev/containers/CCUnit/{.dune-keep => .dummy} | 0 dev/containers/CCUnix/{.dune-keep => .dummy} | 0 dev/containers/CCUtf8_string/{.dune-keep => .dummy} | 0 dev/containers/CCVector/{.dune-keep => .dummy} | 0 dev/containers/CCVector/index.html | 2 +- dev/containers/Containers/{.dune-keep => .dummy} | 0 dev/containers/ContainersLabels/{.dune-keep => .dummy} | 0 dev/containers/Containers_codegen/{.dune-keep => .dummy} | 0 dev/containers/Containers_top/{.dune-keep => .dummy} | 0 96 files changed, 1 insertion(+), 1 deletion(-) rename dev/containers-data/CCBV/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCBijection/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCBitField/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCCache/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCDeque/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCFQueue/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCFun_vec/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCGraph/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCHashSet/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCHashTrie/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCHet/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCImmutArray/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCIntMap/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCKTree/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCLazy_list/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCMixmap/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCMixset/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCMixtbl/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCMultiMap/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCMultiSet/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCMutHeap/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCMutHeap_intf/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCPersistentArray/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCPersistentHashtbl/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCRAL/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCRingBuffer/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCSimple_queue/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCTrie/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCWBTree/{.dune-keep => .dummy} (100%) rename dev/containers-data/CCZipper/{.dune-keep => .dummy} (100%) rename dev/containers-data/Containers_data_top/{.dune-keep => .dummy} (100%) rename dev/containers-thread/CCBlockingQueue/{.dune-keep => .dummy} (100%) rename dev/containers-thread/CCLock/{.dune-keep => .dummy} (100%) rename dev/containers-thread/CCPool/{.dune-keep => .dummy} (100%) rename dev/containers-thread/CCSemaphore/{.dune-keep => .dummy} (100%) rename dev/containers-thread/CCThread/{.dune-keep => .dummy} (100%) rename dev/containers-thread/CCTimer/{.dune-keep => .dummy} (100%) rename dev/containers/CCArray/{.dune-keep => .dummy} (100%) rename dev/containers/CCArrayLabels/{.dune-keep => .dummy} (100%) rename dev/containers/CCAtomic/{.dune-keep => .dummy} (100%) rename dev/containers/CCBool/{.dune-keep => .dummy} (100%) rename dev/containers/CCByte_buffer/{.dune-keep => .dummy} (100%) rename dev/containers/CCCanonical_sexp/{.dune-keep => .dummy} (100%) rename dev/containers/CCChar/{.dune-keep => .dummy} (100%) rename dev/containers/CCEither/{.dune-keep => .dummy} (100%) rename dev/containers/CCEqual/{.dune-keep => .dummy} (100%) rename dev/containers/CCEqualLabels/{.dune-keep => .dummy} (100%) rename dev/containers/CCFloat/{.dune-keep => .dummy} (100%) rename dev/containers/CCFormat/{.dune-keep => .dummy} (100%) rename dev/containers/CCFun/{.dune-keep => .dummy} (100%) rename dev/containers/CCHash/{.dune-keep => .dummy} (100%) rename dev/containers/CCHashtbl/{.dune-keep => .dummy} (100%) rename dev/containers/CCHeap/{.dune-keep => .dummy} (100%) rename dev/containers/CCIO/{.dune-keep => .dummy} (100%) rename dev/containers/CCInt/{.dune-keep => .dummy} (100%) rename dev/containers/CCInt32/{.dune-keep => .dummy} (100%) rename dev/containers/CCInt64/{.dune-keep => .dummy} (100%) rename dev/containers/CCList/{.dune-keep => .dummy} (100%) rename dev/containers/CCListLabels/{.dune-keep => .dummy} (100%) rename dev/containers/CCMap/{.dune-keep => .dummy} (100%) rename dev/containers/CCMonomorphic/{.dune-keep => .dummy} (100%) rename dev/containers/CCMonomorphicShims_/{.dune-keep => .dummy} (100%) rename dev/containers/CCNativeint/{.dune-keep => .dummy} (100%) rename dev/containers/CCOpt/{.dune-keep => .dummy} (100%) rename dev/containers/CCOption/{.dune-keep => .dummy} (100%) rename dev/containers/CCOrd/{.dune-keep => .dummy} (100%) rename dev/containers/CCPair/{.dune-keep => .dummy} (100%) rename dev/containers/CCParse/{.dune-keep => .dummy} (100%) rename dev/containers/CCRandom/{.dune-keep => .dummy} (100%) rename dev/containers/CCRef/{.dune-keep => .dummy} (100%) rename dev/containers/CCResult/{.dune-keep => .dummy} (100%) rename dev/containers/CCSeq/{.dune-keep => .dummy} (100%) rename dev/containers/CCSet/{.dune-keep => .dummy} (100%) rename dev/containers/CCSexp/{.dune-keep => .dummy} (100%) rename dev/containers/CCSexp_intf/{.dune-keep => .dummy} (100%) rename dev/containers/CCSexp_lex/{.dune-keep => .dummy} (100%) rename dev/containers/CCShimsArrayLabels_/{.dune-keep => .dummy} (100%) rename dev/containers/CCShimsArray_/{.dune-keep => .dummy} (100%) rename dev/containers/CCShimsFormat_/{.dune-keep => .dummy} (100%) rename dev/containers/CCShimsFun_/{.dune-keep => .dummy} (100%) rename dev/containers/CCShimsInt_/{.dune-keep => .dummy} (100%) rename dev/containers/CCShimsList_/{.dune-keep => .dummy} (100%) rename dev/containers/CCShimsMkLetList_/{.dune-keep => .dummy} (100%) rename dev/containers/CCShimsMkLet_/{.dune-keep => .dummy} (100%) rename dev/containers/CCShims_/{.dune-keep => .dummy} (100%) rename dev/containers/CCString/{.dune-keep => .dummy} (100%) rename dev/containers/CCStringLabels/{.dune-keep => .dummy} (100%) rename dev/containers/CCUnit/{.dune-keep => .dummy} (100%) rename dev/containers/CCUnix/{.dune-keep => .dummy} (100%) rename dev/containers/CCUtf8_string/{.dune-keep => .dummy} (100%) rename dev/containers/CCVector/{.dune-keep => .dummy} (100%) rename dev/containers/Containers/{.dune-keep => .dummy} (100%) rename dev/containers/ContainersLabels/{.dune-keep => .dummy} (100%) rename dev/containers/Containers_codegen/{.dune-keep => .dummy} (100%) rename dev/containers/Containers_top/{.dune-keep => .dummy} (100%) 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 (>>=) : ( 'a, _ ) t -> ( 'a -> ( 'b, _ ) t ) -> ( 'b, 'mut ) t

Infix version of flat_map.

val (>|=) : ( 'a, _ ) t -> ( 'a -> 'b ) -> ( 'b, 'mut ) t

Infix version of map.

val get : ( 'a, _ ) t -> int -> 'a

Access element by its index, or

  • raises Invalid_argument

    if bad index.

val set : ( 'a, rw ) t -> int -> 'a -> unit

Modify element at given index, or

  • raises Invalid_argument

    if the index is invalid (i.e. not in [0.. length v-1]).

val remove_and_shift : ( 'a, rw ) t -> int -> unit

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.

  • since 3.0
val remove_unordered : ( 'a, rw ) t -> int -> unit

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 : ( 'a, _ ) t -> ( 'a, 'mut ) t

Reverse the vector.

val rev_in_place : ( 'a, rw ) t -> unit

Reverse the vector in place.

  • since 0.14
val rev_iter : ( 'a -> unit ) -> ( 'a, _ ) t -> unit

rev_iter f a is the same as iter f (rev a), only more efficient.

  • since 0.14
val size : ( 'a, _ ) t -> int

Number of elements in the vector.

val length : ( _, _ ) t -> int

Synonym for size.

val capacity : ( _, _ ) t -> int

Number of elements the vector can contain without being resized.

val unsafe_get_array : ( 'a, rw ) t -> 'a array

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 ) t

Range 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 ) t

Range of integers, either ascending or descending, but excluding right. Example: 1 --^ 10 returns the vector [1;2;3;4;5;6;7;8;9].

  • since 0.17
val of_array : 'a array -> ( 'a, 'mut ) t

of_array a returns a vector corresponding to the array a. Operates in O(n) time.

val of_list : 'a list -> ( 'a, 'mut ) t
val to_array : ( 'a, _ ) t -> 'a array

to_array v returns an array corresponding to the vector v.

val to_list : ( 'a, _ ) t -> 'a list

Return a list with the elements contained in the vector.

val of_iter : ?init:( 'a, rw ) t -> 'a iter -> ( 'a, rw ) t

Convert an Iterator to a vector.

  • since 2.8.1
val of_seq : ?init:( 'a, rw ) t -> 'a Stdlib.Seq.t -> ( 'a, rw ) t

Convert an Iterator to a vector. Renamed from of_std_seq since 3.0.

  • since 3.0
val to_iter : ( 'a, _ ) t -> 'a iter

Return a iter with the elements contained in the vector.

  • since 2.8
val to_iter_rev : ( 'a, _ ) t -> 'a iter

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.

  • since 2.8
val to_seq : ( 'a, _ ) t -> 'a Stdlib.Seq.t

Return an iterator with the elements contained in the vector. Renamed from to_std_seq since 3.0.

  • since 3.0
val to_seq_rev : ( 'a, _ ) t -> 'a Stdlib.Seq.t

to_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.

  • since 3.0
val slice : ( 'a, rw ) t -> 'a array * int * int

Vector as an array slice. By doing it we expose the internal array, so be careful!.

val slice_iter : ( 'a, _ ) t -> int -> int -> 'a iter

slice_iter v start len is the sequence of elements from v.(start) to v.(start+len-1).

  • since 3.0
val of_gen : ?init:( 'a, rw ) t -> 'a gen -> ( 'a, rw ) t
val to_gen : ( 'a, _ ) t -> 'a gen
val to_string : + ( 'c, _ ) t

All combinaisons of tuples from the two vectors are passed to the function.

  • since 2.8
val (>>=) : ( 'a, _ ) t -> ( 'a -> ( 'b, _ ) t ) -> ( 'b, 'mut ) t

Infix version of flat_map.

val (>|=) : ( 'a, _ ) t -> ( 'a -> 'b ) -> ( 'b, 'mut ) t

Infix version of map.

val get : ( 'a, _ ) t -> int -> 'a

Access element by its index, or

  • raises Invalid_argument

    if bad index.

val set : ( 'a, rw ) t -> int -> 'a -> unit

Modify element at given index, or

  • raises Invalid_argument

    if the index is invalid (i.e. not in [0.. length v-1]).

val remove_and_shift : ( 'a, rw ) t -> int -> unit

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.

  • since 3.0
val remove_unordered : ( 'a, rw ) t -> int -> unit

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 insert : ( 'a, rw ) t -> int -> 'a -> unit

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.

  • since 3.7
val rev : ( 'a, _ ) t -> ( 'a, 'mut ) t

Reverse the vector.

val rev_in_place : ( 'a, rw ) t -> unit

Reverse the vector in place.

  • since 0.14
val rev_iter : ( 'a -> unit ) -> ( 'a, _ ) t -> unit

rev_iter f a is the same as iter f (rev a), only more efficient.

  • since 0.14
val size : ( 'a, _ ) t -> int

Number of elements in the vector.

val length : ( _, _ ) t -> int

Synonym for size.

val capacity : ( _, _ ) t -> int

Number of elements the vector can contain without being resized.

val unsafe_get_array : ( 'a, rw ) t -> 'a array

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 ) t

Range 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 ) t

Range of integers, either ascending or descending, but excluding right. Example: 1 --^ 10 returns the vector [1;2;3;4;5;6;7;8;9].

  • since 0.17
val of_array : 'a array -> ( 'a, 'mut ) t

of_array a returns a vector corresponding to the array a. Operates in O(n) time.

val of_list : 'a list -> ( 'a, 'mut ) t
val to_array : ( 'a, _ ) t -> 'a array

to_array v returns an array corresponding to the vector v.

val to_list : ( 'a, _ ) t -> 'a list

Return a list with the elements contained in the vector.

val of_iter : ?init:( 'a, rw ) t -> 'a iter -> ( 'a, rw ) t

Convert an Iterator to a vector.

  • since 2.8.1
val of_seq : ?init:( 'a, rw ) t -> 'a Stdlib.Seq.t -> ( 'a, rw ) t

Convert an Iterator to a vector. Renamed from of_std_seq since 3.0.

  • since 3.0
val to_iter : ( 'a, _ ) t -> 'a iter

Return a iter with the elements contained in the vector.

  • since 2.8
val to_iter_rev : ( 'a, _ ) t -> 'a iter

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.

  • since 2.8
val to_seq : ( 'a, _ ) t -> 'a Stdlib.Seq.t

Return an iterator with the elements contained in the vector. Renamed from to_std_seq since 3.0.

  • since 3.0
val to_seq_rev : ( 'a, _ ) t -> 'a Stdlib.Seq.t

to_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.

  • since 3.0
val slice : ( 'a, rw ) t -> 'a array * int * int

Vector as an array slice. By doing it we expose the internal array, so be careful!.

val slice_iter : ( 'a, _ ) t -> int -> int -> 'a iter

slice_iter v start len is the sequence of elements from v.(start) to v.(start+len-1).

  • since 3.0
val of_gen : ?init:( 'a, rw ) t -> 'a gen -> ( 'a, rw ) t
val to_gen : ( 'a, _ ) t -> 'a gen
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