PpxHelpers (GT.Ppx.PpxHelpers)

val (@@) : ('a -> 'b) -> 'a -> 'b

val nolabelize : 'a list -> (Ppxlib.Asttypes.arg_label * 'a) list

val invariantize : 
  'a list ->
  ('a * (Ppxlib.variance * Ppxlib.injectivity)) list

type loc = Ppxlib.Location.t

val noloc : Ppxlib.Location.t

val loc_from_caml : 'a -> 'a

type type_arg = Ppxlib.core_type

val named_type_arg : loc:Astlib.Location.t -> string -> Parsetree.core_type

val typ_arg_of_core_type : 'a -> 'a

val lid : ?loc:Ppxlib.Location.t -> 'a -> 'a Ppxlib.loc

val mknoloc : 'a -> 'a Ppxlib.loc

val pexp_pair : 
  ?loc:Ppxlib.Location.t ->
  Parsetree.expression ->
  Parsetree.expression ->
  Parsetree.expression

val const_string : 
  loc:Ppxlib.location ->
  ?wtf:string ->
  string ->
  Ppxlib.constant

type lab_decl = Ppxlib.label_declaration

val lab_decl : 
  loc:Astlib.Location.t ->
  string ->
  bool ->
  Parsetree.core_type ->
  Parsetree.label_declaration

type case = Ppxlib.case

val case : lhs:Parsetree.pattern -> rhs:Parsetree.expression -> Parsetree.case

module Pat : sig ... end

val use_new_type : 
  loc:Astlib.Location.t ->
  string ->
  Parsetree.expression ->
  Parsetree.expression

module Exp : sig ... end

module Typ : sig ... end

type nonrec class_declaration = Ppxlib.class_declaration

val class_declaration : 
  loc:Ppxlib.location ->
  name:string ->
  ?virt:bool ->
  ?wrap:
    (Astlib.Ast_500.Parsetree.class_expr ->
      Astlib.Ast_500.Parsetree.class_expr) ->
  params:Astlib.Ast_500.Parsetree.core_type list ->
  Astlib.Ast_500.Parsetree.class_field list ->
  Astlib.Ast_500.Parsetree.class_expr Astlib.Ast_500.Parsetree.class_infos

type nonrec type_kind =

| Ptype_abstract
| Ptype_record of lab_decl list

type nonrec type_declaration = Ppxlib.type_declaration

val type_declaration : 
  loc:Astlib.Location.t ->
  name:string ->
  params:Parsetree.core_type list ->
  manifest:Parsetree.core_type option ->
  kind:type_kind ->
  Parsetree.type_declaration

module Str : sig ... end

module Me : sig ... end

module Mt : sig ... end

type nonrec module_declaration = Ppxlib.module_declaration

type nonrec module_type_declaration = Ppxlib.module_type_declaration

val module_declaration : 
  loc:Astlib.Location.t ->
  name:string ->
  Parsetree.module_type ->
  Parsetree.module_declaration

val module_type_declaration : 
  loc:Astlib.Location.t ->
  name:string ->
  Parsetree.module_type option ->
  Parsetree.module_type_declaration

module Sig : sig ... end

module WC : sig ... end

module Vb : sig ... end

val value_binding : 
  loc:Astlib.Location.t ->
  pat:Parsetree.pattern ->
  expr:Parsetree.expression ->
  Parsetree.value_binding

module Cf : sig ... end

module Ctf : sig ... end

module Cty : sig ... end

module Cl : sig ... end

type class_structure = Ppxlib.class_structure

val class_structure : 
  self:Parsetree.pattern ->
  fields:Parsetree.class_field list ->
  Parsetree.class_structure

val openize_helper : 
  is_open:bool ->
  loc:'a ->
  Ppxlib.Parsetree.core_type ->
  Parsetree.core_type

val openize_poly : loc:'a -> Ppxlib.Parsetree.core_type -> Parsetree.core_type

val closize_poly : loc:'a -> Ppxlib.Parsetree.core_type -> Parsetree.core_type

val map_type_param_names : 
  f:(string -> 'a) ->
  (Ppxlib.Parsetree.core_type * 'b) list ->
  'a list

val prepare_param_triples : 
  loc:Ocaml_common.Location.t ->
  extra:Parsetree.core_type ->
  ?inh:(loc:Astlib.Location.t -> string -> Parsetree.core_type) ->
  ?syn:(loc:Astlib.Location.t -> string -> Parsetree.core_type) ->
  ?default_inh:Ppxlib_ast.Ast.core_type ->
  ?default_syn:Ppxlib_ast.Ast.core_type ->
  string list ->
  Parsetree.core_type list

val inh_syn_ts : 
  ?loc:Ppxlib.Location.t ->
  unit ->
  Ppxlib_ast.Ast.core_type list

val are_the_same : 
  Ppxlib.Parsetree.core_type ->
  Ppxlib.Parsetree.type_declaration ->
  bool

val typ_vars_of_typ : 
  Parsetree.core_type ->
  String.t GTCommon.HelpersBase.List.t