TypeExpr.Polymorphic_variant
type kind =
| Fixed
| Closed of string list
| Open
module Constructor : sig ... end
type element =
| Type of t
| Constructor of Constructor.t
type t = {
kind : kind;
elements : element list;
}