Ppx_show (ppx_show.Ppx

val attr_nobuiltin : (Ppxlib.core_type, unit -> unit) Ppxlib.Attribute.t

val attr_opaque : (Ppxlib.core_type, unit -> unit) Ppxlib.Attribute.t

val attr_printer : (Ppxlib.core_type, Ppxlib.expression) Ppxlib.Attribute.t

val attr_polyprinter : (Ppxlib.core_type, Ppxlib.expression) Ppxlib.Attribute.t

val pp_open_box : int -> Ppxlib.expression

val pp_close_box : unit -> Ppxlib.expression

val pp_print_space : unit -> Ppxlib.expression

val pp_print_string_expression : Ppxlib_ast.Ast.expression -> Ppxlib.expression

val pp_print_string : string -> Ppxlib.expression

val pp_list_of_record : 
  path:string list ->
  (string * Ppxlib.expression list) list ->
  Ppxlib.expression list

val pp_list_of_tuple : Ppxlib.expression list list -> Ppxlib.expression list

val binders_of_printers : 
  (Ppxlib.expression -> 'a) list ->
  Ppxlib.pattern list * 'a list

type constructor_arguments =

| No_argument
| Singleton of Ppxlib.expression -> Ppxlib.expression list
| Tuple of (Ppxlib.expression -> Ppxlib.expression list) list

type kind =

| Construct
| Variant

val pp_cases_of_cases : 
  ?path:string list ->
  kind ->
  (Astlib.Ast_500.Asttypes.label * constructor_arguments) list ->
  Astlib.Ast_500.Parsetree.case list

val pp_list_of_type : 
  Ppxlib.core_type ->
  Ppxlib.expression ->
  Ppxlib.expression list

val pp_list_of_builtin_type : 
  Ppxlib.core_type ->
  Ppxlib.expression ->
  Ppxlib.expression list

val pp_list_of_label_declaration_list : 
  ?path:string list ->
  Ppxlib.label_declaration list ->
  Ppxlib.expression ->
  Ppxlib.expression list

val pp_of_variant : 
  with_path:string list option ->
  Ppxlib.constructor_declaration list ->
  Ppxlib.expression ->
  Ppxlib.expression

val pp_of_record : 
  with_path:string list option ->
  Ppxlib.label_declaration list ->
  Ppxlib.expression ->
  Ppxlib.expression

val pp : string

val show : string

val fmt_ty : Ppxlib.core_type -> Ppxlib.core_type

val type_of_type_decl : Ppxlib.type_declaration -> Ppxlib.core_type

val pp_of_type_decl : 
  with_path:string list option ->
  Ppxlib.type_declaration ->
  Ppxlib.value_binding

val show_of_type_decl : Ppxlib.type_declaration -> Ppxlib.value_binding

val pp_type_of_type_decl : Ppxlib.type_declaration -> Ppxlib.value_description

val show_type_of_type_decl : 
  Ppxlib.type_declaration ->
  Ppxlib.value_description

val make_str : 
  ctxt:Ppxlib.Expansion_context.Deriver.t ->
  (Astlib.Ast_500.Asttypes.rec_flag * Ppxlib.type_declaration list) ->
  Ppxlib.expression option ->
  Ppxlib.structure

val str_type_decl : 
  (Ppxlib.structure,
    Astlib.Ast_500.Asttypes.rec_flag * Ppxlib.type_declaration list)
    Ppxlib__Deriving.Generator.t

val make_sig : 
  loc:Astlib.Location.t ->
  path:'a ->
  ('b * Ppxlib.type_declaration list) ->
  Ppxlib.signature

val sig_type_decl : 
  (Ppxlib.signature, Asttypes.rec_flag * Ppxlib.type_declaration list)
    Ppxlib.Deriving.Generator.t

val extension : 
  loc:Ppxlib.location ->
  path:'a ->
  Ppxlib.core_type ->
  Ppxlib.expression

val deriver : Ppxlib.Deriving.t