containers: add Vec = CCVec

c-cube · c-cube · commit 5f975145c17e · 2023-06-06T22:03:38.000-04:00
diff --git a/src/core/containers.ml b/src/core/containers.ml
@@ -47,7 +47,8 @@ module Result = CCResult
 module Seq = CCSeq
 module Set = CCSet
 module String = CCString
-module Vector = CCVector
+module Vec = CCVec
+module Vector = CCVector [@@deprecated "use Vec"]
 module Monomorphic = CCMonomorphic
 module Utf8_string = CCUtf8_string
 module Unit = CCUnit
