Module `CamlinternalQuote.Type`Source

Sourcetype t

Sourceval var : CamlinternalQuote.Var.Type_var.t option -> CamlinternalQuote.Type.t

val arrow : 
  CamlinternalQuote.Label.t ->
  CamlinternalQuote.Type.t ->
  CamlinternalQuote.Type.t ->
  CamlinternalQuote.Type.t

Source

val tuple : 
  (CamlinternalQuote.Label.Nonoptional.t * CamlinternalQuote.Type.t) list ->
  CamlinternalQuote.Type.t

Source

val unboxed_tuple : 
  (CamlinternalQuote.Label.Nonoptional.t * CamlinternalQuote.Type.t) list ->
  CamlinternalQuote.Type.t

Source

val constr : 
  CamlinternalQuote.Identifier.Type.t ->
  CamlinternalQuote.Type.t list ->
  CamlinternalQuote.Type.t

Source

val object_ : 
  CamlinternalQuote.Object_field.t list ->
  bool ->
  CamlinternalQuote.Type.t

Source

val class_ : 
  CamlinternalQuote.Name.t ->
  CamlinternalQuote.Type.t list ->
  CamlinternalQuote.Type.t

Source

val alias : 
  CamlinternalQuote.Type.t ->
  CamlinternalQuote.Var.Type_var.t ->
  CamlinternalQuote.Type.t

Sourceval variant : CamlinternalQuote.Variant_type.t -> CamlinternalQuote.Type.t

Source

val poly : 
  CamlinternalQuote.Loc.t ->
  CamlinternalQuote.Name.t list ->
  (CamlinternalQuote.Var.Type_var.t list ->
    CamlinternalQuote.Type.t)
    CamlinternalQuote.lam ->
  CamlinternalQuote.Type.t

Source

val package : 
  CamlinternalQuote.Module_type.t ->
  (CamlinternalQuote.Fragment.t * CamlinternalQuote.Type.t) list ->
  CamlinternalQuote.Type.t

Sourceval quote : CamlinternalQuote.Type.t -> CamlinternalQuote.Type.t

Sourceval call_pos : CamlinternalQuote.Type.t

Module CamlinternalQuote.TypeSource

Module `CamlinternalQuote.Type`Source