Module `Camlp5Helpers.Typ`Source

Sourcetype t = MLast.ctyp

Sourceval of_longident : loc:MLast.loc -> Ppxlib.Longident.t -> MLast.ctyp

Sourceval sprintf : loc:MLast.loc -> ('a, unit, string, MLast.ctyp) format4 -> 'a

Sourceval ident : loc:MLast.loc -> string -> MLast.ctyp

Sourceval string : loc:MLast.loc -> MLast.ctyp

Sourceval unit : loc:MLast.loc -> MLast.ctyp

Sourceval pair : loc:MLast.loc -> MLast.ctyp -> MLast.ctyp -> MLast.ctyp

Sourceval access2 : loc:MLast.loc -> string -> string -> MLast.ctyp

Sourceval var : loc:MLast.loc -> string -> MLast.ctyp

Sourceval app : loc:MLast.loc -> MLast.ctyp -> MLast.ctyp -> MLast.ctyp

Sourceval any : loc:MLast.loc -> MLast.ctyp

Sourceval alias : loc:MLast.loc -> MLast.ctyp -> string -> MLast.ctyp

Sourceval tuple : loc:MLast.loc -> MLast.ctyp list -> MLast.ctyp

val constr : 
  loc:MLast.loc ->
  Ppxlib.Longident.t ->
  MLast.ctyp list ->
  MLast.ctyp

Sourceval class_ : loc:MLast.loc -> Longident.t -> MLast.ctyp list -> MLast.ctyp

Sourceval of_type_arg : loc:MLast.loc -> (string option Ploc.vala * 'a) -> MLast.ctyp

val object_ : 
  loc:MLast.loc ->
  Ppxlib.closed_flag ->
  (string * MLast.ctyp) list ->
  MLast.ctyp

Sourceval arrow : loc:MLast.loc -> MLast.ctyp -> MLast.ctyp -> MLast.ctyp

Sourceval chain_arrow : loc:MLast.loc -> MLast.ctyp list -> MLast.ctyp

Sourceval from_caml : Ppxlib.core_type -> MLast.ctyp

val variant : 
  loc:MLast.loc ->
  ?is_open:bool ->
  Ppxlib.row_field list ->
  MLast.ctyp

Sourceval variant_of_t : loc:MLast.loc -> MLast.ctyp -> MLast.ctyp

Sourceval openize : loc:MLast.loc -> ?as_:string -> MLast.ctyp -> MLast.ctyp

Sourceval use_tdecl : Ppxlib.type_declaration -> MLast.ctyp

Sourceval poly : loc:MLast.loc -> string list -> MLast.ctyp -> MLast.ctyp

Sourceval map : onvar:'a -> 'b -> 'b

Sourceval to_type_arg : MLast.ctyp -> type_arg option

Sourceval to_type_arg_exn : MLast.ctyp -> type_arg

Install