CamlinternalQuote.Type_constraint
type t
val constraint_ : Type.t -> Modes.t -> t
val coercion : Type.t option -> Type.t -> t