Module TypeExpr.Polymorphic_variant

module Constructor : sig ... end
type element =
| Type of t
| Constructor of Constructor.t
type t = {
kind : kind;
elements : element list;
}