Types 如何制作使用电池的型号'；OCaml中的动态数组？

例如，假设我想创建这样的类型（使用）：

type some\u type=SomeConstructor of

---

但是我有点不知道怎么做。有没有人能给我举个例子，让我想一想这个问题？

有什么问题？语法

你试过使用中间类型吗

type my_dyn = Dyn_Array of int

type some_type = SomeConstructor of my_dyn

（我没有安装电池）。已经定义了DynArray.t。您只想为其自由变量指定类型，而不想定义新的构造函数（除了嵌入的语法是非法的之外，

X/y

可以做什么）

如果你想让DynArray的类型保持自由

type 'a some_type = SomeConstructor of 'a DynArray.t

---

请注意，我已经安装了电池，但这是我为常规堆栈所做的，它看起来与语法相同（尽管基于文档）。我确实找到了答案，但忘了在这里发布答案！

type some_type = SomeConstructor of integers DynArray.t

type 'a some_type = SomeConstructor of 'a DynArray.t