请解释这个OCaml类型定义

Question

记录定义：

type t = {name: string}

变体定义：

type thing = Thing1 | Thing2;

任何人都可以举例说明以下代码段定义的内容吗？

type ('a, 'b) t =
   Blah : ((('a, 'b) Tea_result.t -> unit) -> unit) -> ('a, 'b) t

更多一般来说，这个结构：

type t = Blah : xxx

任何见解都将受到赞赏。

Answer 1

这是广义代数数据类型 - 请查看https://caml.inria.fr/pub/docs/manual-ocaml-400/manual021.html#toc85