Deriving_reify (OCanren-ppx.Ppx_deriving_reify.Deriving

module Format = Stdppx.Caml.Format

val failwiths : 
  ?loc:Ppxlib.Location.t ->
  ( 'a, Ppxlib__.Import.Caml.Format.formatter, unit, 'b ) Stdlib.format4 ->
  'a

val make_typ_exn : 
  ?ccompositional:bool ->
  loc:Ppxlib__.Import.location ->
  ( loc:Ppxlib.location -> Ppxlib.core_type -> Ppxlib__.Import.core_type ) ->
  string ->
  Ppxlib.core_type ->
  Ppxlib__.Import.core_type

val ltypify_exn : 
  ?ccompositional:bool ->
  loc:Ppxlib__.Import.location ->
  Ppxlib.core_type ->
  Ppxlib__.Import.core_type

val gtypify_exn : 
  ?ccompositional:bool ->
  loc:Ppxlib__.Import.location ->
  Ppxlib.core_type ->
  Ppxlib__.Import.core_type

type kind =

| Reify

| Prj_exn

val unwrap_kind : loc:Ppxlib.location -> kind -> Ppxlib.expression * string

val reifier_of_core_type : 
  loc:Ppxlib.location ->
  kind ->
  Ppxlib.core_type ->
  Astlib.Ast_414.Parsetree.expression

val make_reifier_composition : 
  pat:Ppxlib__.Import.pattern ->
  ?typ:Ppxlib__.Import.core_type option ->
  kind ->
  Ppxlib__.Import.type_declaration ->
  Ppxlib__.Import.structure_item

val process1 : Ppxlib.type_declaration -> Ppxlib__.Import.structure_item list

val str_type_decl : 
  ( Ppxlib__.Import.structure_item Stdppx.List.t,
    Ppxlib__.Import.rec_flag * Ppxlib.type_declaration list )
    Ppxlib.Deriving.Generator.t