例如,假设我想创建一个类似于以下类型的类型(使用Dyn_array):
type some_type = SomeConstructor of <Dyn_array of integers>
我有点不知道怎么做。能否给我一个示例,这样我就可以理解了?
X of y
会做什么),type some_type = SomeConstructor of integers DynArray.t
type 'a some_type = SomeConstructor of 'a DynArray.t
问题出在哪里?语法有误吗?
您尝试使用中间类型了吗?
type my_dyn = Dyn_Array of int
type some_type = SomeConstructor of my_dyn