Module TypeExpr.Polymorphic_variant

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