Module `CamlinternalQuote.Type_constraint`Source

Sourcetype t

val constraint_ : 
  CamlinternalQuote.Type.t ->
  CamlinternalQuote.Type_constraint.t

val coercion : 
  CamlinternalQuote.Type.t option ->
  CamlinternalQuote.Type.t ->
  CamlinternalQuote.Type_constraint.t

Module CamlinternalQuote.Type_constraintSource