如何制作在OCaml中使用Batteries Dyn_array的类型？

Question

例如，假设我想打一个类型这样的（使用Dyn_array）：

type some_type = SomeConstructor of <Dyn_array of integers> 

我失去了对如何做到这一点，虽然一点点。有人能给我一个例子，所以我可以把我的头围绕这个？

Answer 1

是什么问题？语法？

您是否尝试过使用中间类型？

type my_dyn = Dyn_Array of int 

type some_type = SomeConstructor of my_dyn 

Answer 2

（我没有安装电池）。 DynArray.t已被定义。你只是想指定类型的自由变量，而不是定义一个新的构造函数（什么，X of y会做，好了，除了嵌入式的语法是非法的），

type some_type = SomeConstructor of integers DynArray.t 

如果你想离开的类型的DynArray有空，

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