Como posso fazer um tipo que Dyn_array utilizações Baterias em OCaml?

Question

Por exemplo, suponha que eu quero fazer um tipo como este (usando Dyn_array ):

type some_type = SomeConstructor of <Dyn_array of integers>

Eu sou um pouco perdido sobre como fazer isso embora. Alguém poderia me dar um exemplo para que eu possa envolver minha cabeça em torno deste?

Answer 1

Qual é o problema? a sintaxe?

Você já tentou usar um tipo intermediário?

type my_dyn = Dyn_Array of int

type some_type = SomeConstructor of my_dyn

Answer 2

(Eu não tenho as baterias instaladas). DynArray.t já está definido. Você só quer especificar o tipo para a sua variável livre e não definir um novo construtor (o que, X of y faria, assim, além de que a sintaxe incorporado ser ilegal),

type some_type = SomeConstructor of integers DynArray.t

Se você queria deixar o tipo de DynArray livre, então,

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