如何製作在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