描述多态变体被方括号包围的类型是什么？

这个类型被称为多态变体类型（polymorphic variant type）。在OCaml中，它们被写在方括号中，并用管道符号分隔。以下是一个简单的示例：

type message = [ `Hello | `Goodbye ]

let greet_user (msg: message) =
  match msg with
  | `Hello -> "Hello, nice to meet you!"
  | `Goodbye -> "Goodbye, see you soon!"

在上面的代码中，我们定义了一个多态变体类型message，它包含了两个变体Hello和Goodbye。我们使用这个类型来向用户发送打招呼的消息。

我们可以这样调用greet_user函数：

let msg1 = `Hello
let msg2 = `Goodbye

let _ = print_endline (greet_user msg1)
let _ = print_endline (greet_user msg2)

这将分别打印出“Hello, nice to meet you!”和“Goodbye, see you soon!”。