Typ (p.GT.0.4.2.doc.ppx.Ppx.PpxHelpers.Typ)

type t = Ppxlib.core_type

val constr : 
  loc:Ppxlib__.Import.location ->
  Ppxlib__.Import.longident ->
  Ppxlib__.Import.core_type list ->
  Ppxlib__.Import.core_type

val of_type_arg : loc:Ppxlib.location -> Ppxlib.core_type -> Ppxlib.core_type

val from_caml : 'a -> 'a

val use_tdecl : Ppxlib.type_declaration -> Ppxlib__.Import.core_type

val of_longident : 
  loc:Ppxlib__.Import.location ->
  Ppxlib__.Import.longident ->
  Ppxlib__.Import.core_type

val access2 : 
  loc:Ppxlib__.Import.location ->
  Base.String.t ->
  string ->
  Ppxlib__.Import.core_type

val ident : loc:Ppxlib__.Import.location -> string -> Ppxlib__.Import.core_type

val sprintf : 
  loc:Ppxlib__.Import.location ->
  ('a, unit, string, Ppxlib__.Import.core_type) Stdlib.format4 ->
  'a

val string : loc:Ppxlib__.Import.location -> Ppxlib__.Import.core_type

val pair : 
  loc:Ppxlib__.Import.location ->
  Ppxlib__.Import.core_type ->
  Ppxlib__.Import.core_type ->
  Ppxlib__.Import.core_type

val var : loc:Ppxlib__.Import.location -> string -> Ppxlib__.Import.core_type

val any : loc:Ppxlib__.Import.location -> Ppxlib__.Import.core_type

val unit : loc:Ppxlib.location -> Ppxlib.core_type

val object_ : 
  loc:Ppxlib__.Import.location ->
  Ppxlib__.Import.closed_flag ->
  (Ppxlib.label * Ppxlib.core_type) GTCommon.HelpersBase.List.t ->
  Ppxlib__.Import.core_type

val package : 
  loc:Ppxlib__.Import.location ->
  Ppxlib__.Import.longident_loc ->
  Ppxlib__.Import.core_type

val arrow : 
  loc:Ppxlib__.Import.location ->
  Ppxlib__.Import.core_type ->
  Ppxlib__.Import.core_type ->
  Ppxlib__.Import.core_type

val tuple : 
  loc:Ppxlib__.Import.location ->
  Ppxlib__.Import.core_type GTCommon.HelpersBase.List.t ->
  Ppxlib__.Import.core_type

val class_ : 
  loc:Ppxlib__.Import.location ->
  Ppxlib__.Import.longident ->
  Ppxlib__.Import.core_type list ->
  Ppxlib__.Import.core_type

val chain_arrow : 
  loc:Ppxlib__.Import.location ->
  Ppxlib__.Import.core_type GTCommon.HelpersBase.List.t ->
  Ppxlib__.Import.core_type

val variant : 
  loc:Ppxlib__.Import.location ->
  ?is_open:bool ->
  Ppxlib__.Import.row_field list ->
  Ppxlib__.Import.core_type

val variant_of_t : loc:Ppxlib.location -> Ppxlib.core_type -> Ppxlib.core_type

val alias : 
  loc:Ppxlib__.Import.location ->
  Ppxlib__.Import.core_type ->
  string ->
  Ppxlib__.Import.core_type

val poly : 
  loc:Ppxlib__.Import.location ->
  string GTCommon.HelpersBase.List.t ->
  Ppxlib__.Import.core_type ->
  Ppxlib__.Import.core_type

val map : 
  onvar:(string -> Ppxlib.core_type Base.Option.t) ->
  Ppxlib.core_type ->
  Ppxlib.core_type

val openize : 
  loc:Ppxlib.location ->
  ?as_:string ->
  Ppxlib.core_type ->
  Ppxlib__.Import.core_type

val to_type_arg : 'a -> 'a option

val to_type_arg_exn : 'a -> 'a