Module TypeExpr.Polymorphic_variant

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