Как мне сделать тип, который использует батарейки Dyn_array в OCaml?

Question

Например, предположим, я хочу создать такой тип (используя Dyn_array ):

type some_type = SomeConstructor of <Dyn_array of integers>

Я немного растерялся, как это сделать. Может ли кто-нибудь дать мне пример, чтобы я мог обернуть голову вокруг этого?

Answer 1

(у меня не установлены батареи). DynArray.t уже определен. Вы просто хотите указать тип для его свободной переменной и не определять новый конструктор (что будет делать X of y, кроме того, что этот встроенный синтаксис недопустим),

type some_type = SomeConstructor of integers DynArray.t

Если вы хотите оставить тип DynArray свободным,

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

Answer 2

В чем проблема? синтаксис?

Вы пробовали использовать промежуточный тип?

type my_dyn = Dyn_Array of int

type some_type = SomeConstructor of my_dyn