Comment créer un type qui utilise Dyn_array de Batteries dans OCaml?

Question

Par exemple, supposons que je veuille créer un type comme celui-ci (avec Dyn_array ):

type some_type = SomeConstructor of <Dyn_array of integers>

Je suis un peu perdu sur la façon de faire cela. Est-ce que quelqu'un pourrait me donner un exemple pour que je puisse comprendre cela?

Answer 1

Quel est le problème? la syntaxe?

Avez-vous essayé d'utiliser un type intermédiaire?

type my_dyn = Dyn_Array of int

type some_type = SomeConstructor of my_dyn

Answer 2

(Je n'ai pas de piles installées). DynArray.t est déjà défini. Vous voulez juste spécifier le type de sa variable libre et ne pas définir de nouveau constructeur (ce que X de y ferait, eh bien, mis à part le fait que la syntaxe incorporée est illégale),

type some_type = SomeConstructor of integers DynArray.t

Si vous souhaitez laisser le type de DynArray libre, alors

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