Ppx_deriving_make (ppx_deriving.Ppx_deriving

val deriver : string

val raise_errorf : 
  ?sub:Ocaml_common.Location.error list ->
  ?loc:Ppxlib.Location.t ->
  ('a, unit, string, 'b) format4 ->
  'a

val attr_default : 
  (Astlib.Ast_500.Parsetree.label_declaration,
    Astlib.Ast_500.Parsetree.expression)
    Ppxlib.Attribute.t
  * (Astlib.Ast_500.Parsetree.core_type, Astlib.Ast_500.Parsetree.expression)
      Ppxlib.Attribute.t

val mk_attr_split : 'a Ppxlib.Attribute.Context.t -> 'a Ppxlib.Attribute.flag

val ct_attr_split : Astlib.Ast_500.Parsetree.core_type Ppxlib.Attribute.flag

val label_attr_split : 
  Astlib.Ast_500.Parsetree.label_declaration Ppxlib.Attribute.flag

val attr_split : 
  Astlib.Ast_500.Parsetree.label_declaration Ppxlib.Attribute.flag
  * Astlib.Ast_500.Parsetree.core_type Ppxlib.Attribute.flag

val mk_attr_main : 'a Ppxlib.Attribute.Context.t -> 'a Ppxlib.Attribute.flag

val ct_attr_main : Astlib.Ast_500.Parsetree.core_type Ppxlib.Attribute.flag

val label_attr_main : 
  Astlib.Ast_500.Parsetree.label_declaration Ppxlib.Attribute.flag

val attr_main : 
  Astlib.Ast_500.Parsetree.label_declaration Ppxlib.Attribute.flag
  * Astlib.Ast_500.Parsetree.core_type Ppxlib.Attribute.flag

val get_label_attribute : 
  ((Ppxlib.Parsetree.label_declaration, 'a) Ppxlib.Attribute.t
   * (Ppxlib.Parsetree.core_type, 'a) Ppxlib.Attribute.t) ->
  Ppxlib.Parsetree.label_declaration ->
  'a option

val has_label_flag : 
  (Ppxlib.Parsetree.label_declaration Ppxlib.Attribute.flag
   * Ppxlib.Parsetree.core_type Ppxlib.Attribute.flag) ->
  Ppxlib.Parsetree.label_declaration ->
  bool

val find_main : 
  Ppxlib.Parsetree.label_declaration list ->
  (Ppxlib.Parsetree.label_declaration option
   * Ppxlib.Parsetree.label_declaration list,
    string Astlib.Location.loc * Astlib.Ast_500.Parsetree.payload)
    result

val is_optional : Ppxlib.Parsetree.label_declaration -> bool

val add_str_label_arg : 
  quoter:Ppx_deriving.quoter ->
  loc:Astlib.Location.t ->
  Astlib.Ast_500.Parsetree.expression ->
  Ppxlib.Parsetree.label_declaration ->
  Astlib.Ast_500.Parsetree.expression

val str_of_record_type : 
  quoter:Ppx_deriving.quoter ->
  loc:Ppxlib.Location.t ->
  Ppxlib.Parsetree.label_declaration list ->
  Astlib.Ast_500.Parsetree.expression

val str_of_type : 
  Ppxlib.Parsetree.type_declaration ->
  (Astlib.Ast_500.Parsetree.value_binding,
    string Astlib.Location.loc * Astlib.Ast_500.Parsetree.payload)
    result

val wrap_predef_option : 'a -> 'a

val add_sig_label_arg : 
  Astlib.Ast_500.Parsetree.core_type ->
  Ppxlib.Parsetree.label_declaration ->
  Astlib.Ast_500.Parsetree.core_type

val sig_of_record_type : 
  loc:Ppxlib.Location.t ->
  typ:Astlib.Ast_500.Parsetree.core_type ->
  Ppxlib.Parsetree.label_declaration list ->
  Astlib.Ast_500.Parsetree.core_type

val sig_of_type : 
  Ppxlib.Parsetree.type_declaration ->
  (Astlib.Ast_500.Parsetree.signature_item,
    string Astlib.Location.loc * Astlib.Ast_500.Parsetree.payload)
    result

val partition_result : ('a, 'b) result list -> 'b list * 'a list

val impl_generator : 
  (Astlib.Ast_500.Parsetree.structure_item list,
    Astlib.Ast_500.Asttypes.rec_flag * Ppxlib.Parsetree.type_declaration list)
    Ppxlib__Deriving.Generator.t

val intf_generator : 
  (Astlib.Ast_500.Parsetree.signature_item list,
    Astlib.Ast_500.Asttypes.rec_flag * Ppxlib.Parsetree.type_declaration list)
    Ppxlib__Deriving.Generator.t

val deriving : Ppxlib.Deriving.t