OCaml多态变体方括号语法及对应类型疑问

这种类型是闭合多态变体类型，属于OCaml多态变体的两类声明形式之一，它明确限定了该类型的取值只能是括号内枚举的所有以`开头的多态变体标签构造的值，不允许包含未列举的额外标签。

你给出的代码如下：

type 'a t =
  [ `With_degree_bound of
    'a Or_infinity.t Dlog_plonk_types.Poly_comm.With_degree_bound.t
  | `Without_degree_bound of
    'a Dlog_plonk_types.Poly_comm.Without_degree_bound.t ]

外层的方括号是用来声明这是一个闭合的多态变体类型，具体作用如下：

• 限定类型取值范围：明确'a t类型的合法取值只能是 `With_degree_bound 或 `Without_degree_bound 两个标签构造的值，编译器会拒绝传入其他多态变体标签构造的值到该类型的上下文。
• 支持完备性检查：和普通变体类型一致，编译器可以对该类型的模式匹配代码做分支完备性检查，如果模式匹配遗漏了任意一个标签的处理分支，编译器会抛出警告，保障类型安全。
• 区别于开放多态变体：如果此处用尖括号< >包裹标签，则是声明开放多态变体类型，允许后续扩展其他标签，类型更灵活但也失去了完备性检查的能力；此处用方括号就是为了在使用多态变体的同时保留类型约束的严格性。

内容的提问来源于stack exchange，提问作者David 天宇 Wong