首页
标签
locally-abstract-type
当 GADT 构造函数包含多个类型变量时，局部抽象类型的范围错误
无法在递归函数中推断出此打包模块的签名
可选参数的本地抽象类型和默认值
使用具有高阶函数的 GADT
参数局部抽象类型
来自外部的参数化 GADT
ocaml GADT：为什么需要 "type a."？
有没有一种方法可以在类型上参数化模块或从 OCaml 中的模块中转义类型？