OCaml特定的Hashtbl类型

Question

这可能是一个愚蠢的问题，但我想定义一个这样的类型：

type bla = Bla of (string, bla) Hashtbl

然而，无论我做什么，它都会给我一个解析错误。从本质上讲，我希望Bla成立 哈希表再次从string到bla。我到底做错了什么？

Answer 1

Hashtbl是一个模块。它定义的（非函数）类型是('a, 'b) Hashtbl.t：

# type bla = Bla of (string, bla) Hashtbl.t;;
type bla = Bla of (string, bla) Hashtbl.t