type safety_kind =
| Safe
| Unsafe of F.unsafe
val pp_safety_kind :
Ppx_deriving_runtime.Format.formatter ->
safety_kind ->
Ppx_deriving_runtime.unit
val show_safety_kind : safety_kind -> Ppx_deriving_runtime.string
val safety_kind_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> safety_kind
val yojson_of_safety_kind : safety_kind -> Ppx_yojson_conv_lib.Yojson.Safe.t
val safety_kind_of_sexp : Sexplib0.Sexp.t -> safety_kind
val sexp_of_safety_kind : safety_kind -> Sexplib0.Sexp.t
val hash_fold_safety_kind :
Ppx_hash_lib.Std.Hash.state ->
safety_kind ->
Ppx_hash_lib.Std.Hash.state
val hash_safety_kind : safety_kind -> Ppx_hash_lib.Std.Hash.hash_value
val pp_borrow_kind :
Ppx_deriving_runtime.Format.formatter ->
borrow_kind ->
Ppx_deriving_runtime.unit
val show_borrow_kind : borrow_kind -> Ppx_deriving_runtime.string
val borrow_kind_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> borrow_kind
val yojson_of_borrow_kind : borrow_kind -> Ppx_yojson_conv_lib.Yojson.Safe.t
val borrow_kind_of_sexp : Sexplib0.Sexp.t -> borrow_kind
val sexp_of_borrow_kind : borrow_kind -> Sexplib0.Sexp.t
val hash_fold_borrow_kind :
Ppx_hash_lib.Std.Hash.state ->
borrow_kind ->
Ppx_hash_lib.Std.Hash.state
val hash_borrow_kind : borrow_kind -> Ppx_hash_lib.Std.Hash.hash_value
val pp_binding_mode :
Ppx_deriving_runtime.Format.formatter ->
binding_mode ->
Ppx_deriving_runtime.unit
val show_binding_mode : binding_mode -> Ppx_deriving_runtime.string
val binding_mode_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> binding_mode
val yojson_of_binding_mode : binding_mode -> Ppx_yojson_conv_lib.Yojson.Safe.t
val hash_fold_binding_mode :
Ppx_hash_lib.Std.Hash.state ->
binding_mode ->
Ppx_hash_lib.Std.Hash.state
val hash_binding_mode : binding_mode -> Ppx_hash_lib.Std.Hash.hash_value
and cf_kind =
| BreakOnly
| BreakOrReturn
and supported_monads =
| MException of ty
| MResult of ty
| MOption
val pp_ty :
Ppx_deriving_runtime.Format.formatter ->
ty ->
Ppx_deriving_runtime.unit
val show_ty : ty -> Ppx_deriving_runtime.string
val pp_generic_value :
Ppx_deriving_runtime.Format.formatter ->
generic_value ->
Ppx_deriving_runtime.unit
val show_generic_value : generic_value -> Ppx_deriving_runtime.string
val pp_impl_expr :
Ppx_deriving_runtime.Format.formatter ->
impl_expr ->
Ppx_deriving_runtime.unit
val show_impl_expr : impl_expr -> Ppx_deriving_runtime.string
val pp_impl_expr_kind :
Ppx_deriving_runtime.Format.formatter ->
impl_expr_kind ->
Ppx_deriving_runtime.unit
val show_impl_expr_kind : impl_expr_kind -> Ppx_deriving_runtime.string
val pp_trait_goal :
Ppx_deriving_runtime.Format.formatter ->
trait_goal ->
Ppx_deriving_runtime.unit
val show_trait_goal : trait_goal -> Ppx_deriving_runtime.string
val pp_dyn_trait_goal :
Ppx_deriving_runtime.Format.formatter ->
dyn_trait_goal ->
Ppx_deriving_runtime.unit
val show_dyn_trait_goal : dyn_trait_goal -> Ppx_deriving_runtime.string
val pp_impl_ident :
Ppx_deriving_runtime.Format.formatter ->
impl_ident ->
Ppx_deriving_runtime.unit
val show_impl_ident : impl_ident -> Ppx_deriving_runtime.string
val pp_projection_predicate :
Ppx_deriving_runtime.Format.formatter ->
projection_predicate ->
Ppx_deriving_runtime.unit
val pp_pat' :
Ppx_deriving_runtime.Format.formatter ->
pat' ->
Ppx_deriving_runtime.unit
val show_pat' : pat' -> Ppx_deriving_runtime.string
val pp_pat :
Ppx_deriving_runtime.Format.formatter ->
pat ->
Ppx_deriving_runtime.unit
val show_pat : pat -> Ppx_deriving_runtime.string
val pp_field_pat :
Ppx_deriving_runtime.Format.formatter ->
field_pat ->
Ppx_deriving_runtime.unit
val show_field_pat : field_pat -> Ppx_deriving_runtime.string
val pp_cf_kind :
Ppx_deriving_runtime.Format.formatter ->
cf_kind ->
Ppx_deriving_runtime.unit
val show_cf_kind : cf_kind -> Ppx_deriving_runtime.string
val pp_expr' :
Ppx_deriving_runtime.Format.formatter ->
expr' ->
Ppx_deriving_runtime.unit
val show_expr' : expr' -> Ppx_deriving_runtime.string
val pp_expr :
Ppx_deriving_runtime.Format.formatter ->
expr ->
Ppx_deriving_runtime.unit
val show_expr : expr -> Ppx_deriving_runtime.string
val pp_quote :
Ppx_deriving_runtime.Format.formatter ->
quote ->
Ppx_deriving_runtime.unit
val show_quote : quote -> Ppx_deriving_runtime.string
val pp_supported_monads :
Ppx_deriving_runtime.Format.formatter ->
supported_monads ->
Ppx_deriving_runtime.unit
val pp_loop_kind :
Ppx_deriving_runtime.Format.formatter ->
loop_kind ->
Ppx_deriving_runtime.unit
val show_loop_kind : loop_kind -> Ppx_deriving_runtime.string
val pp_loop_state :
Ppx_deriving_runtime.Format.formatter ->
loop_state ->
Ppx_deriving_runtime.unit
val show_loop_state : loop_state -> Ppx_deriving_runtime.string
val pp_lhs :
Ppx_deriving_runtime.Format.formatter ->
lhs ->
Ppx_deriving_runtime.unit
val show_lhs : lhs -> Ppx_deriving_runtime.string
val pp_guard :
Ppx_deriving_runtime.Format.formatter ->
guard ->
Ppx_deriving_runtime.unit
val show_guard : guard -> Ppx_deriving_runtime.string
val pp_guard' :
Ppx_deriving_runtime.Format.formatter ->
guard' ->
Ppx_deriving_runtime.unit
val show_guard' : guard' -> Ppx_deriving_runtime.string
val pp_arm' :
Ppx_deriving_runtime.Format.formatter ->
arm' ->
Ppx_deriving_runtime.unit
val show_arm' : arm' -> Ppx_deriving_runtime.string
val pp_arm :
Ppx_deriving_runtime.Format.formatter ->
arm ->
Ppx_deriving_runtime.unit
val show_arm : arm -> Ppx_deriving_runtime.string
val equal_ty : ty -> ty -> Ppx_deriving_runtime.bool
val equal_pat' : pat' -> pat' -> Ppx_deriving_runtime.bool
val equal_pat : pat -> pat -> Ppx_deriving_runtime.bool
val equal_expr' : expr' -> expr' -> Ppx_deriving_runtime.bool
val equal_expr : expr -> expr -> Ppx_deriving_runtime.bool
val equal_quote : quote -> quote -> Ppx_deriving_runtime.bool
val equal_lhs : lhs -> lhs -> Ppx_deriving_runtime.bool
val equal_guard : guard -> guard -> Ppx_deriving_runtime.bool
val equal_guard' : guard' -> guard' -> Ppx_deriving_runtime.bool
val equal_arm' : arm' -> arm' -> Ppx_deriving_runtime.bool
val equal_arm : arm -> arm -> Ppx_deriving_runtime.bool
val ty_of_yojson : Yojson.Safe.t -> ty
val impl_expr_of_yojson : Yojson.Safe.t -> impl_expr
val impl_expr_kind_of_yojson :
Ppx_yojson_conv_lib.Yojson.Safe.t ->
impl_expr_kind
val trait_goal_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> trait_goal
val impl_ident_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> impl_ident
val pat'_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> pat'
val pat_of_yojson : Yojson.Safe.t -> pat
val field_pat_of_yojson : Yojson.Safe.t -> field_pat
val cf_kind_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> cf_kind
val expr'_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> expr'
val expr_of_yojson : Yojson.Safe.t -> expr
val quote_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> quote
val loop_kind_of_yojson : Yojson.Safe.t -> loop_kind
val loop_state_of_yojson : Yojson.Safe.t -> loop_state
val lhs_of_yojson : Yojson.Safe.t -> lhs
val guard_of_yojson : Yojson.Safe.t -> guard
val guard'_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> guard'
val arm'_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> arm'
val arm_of_yojson : Yojson.Safe.t -> arm
val yojson_of_ty : ty -> Yojson.Safe.t
val yojson_of_impl_expr : impl_expr -> Yojson.Safe.t
val yojson_of_impl_expr_kind :
impl_expr_kind ->
Ppx_yojson_conv_lib.Yojson.Safe.t
val yojson_of_trait_goal : trait_goal -> Ppx_yojson_conv_lib.Yojson.Safe.t
val yojson_of_impl_ident : impl_ident -> Ppx_yojson_conv_lib.Yojson.Safe.t
val yojson_of_pat' : pat' -> Ppx_yojson_conv_lib.Yojson.Safe.t
val yojson_of_pat : pat -> Yojson.Safe.t
val yojson_of_field_pat : field_pat -> Yojson.Safe.t
val yojson_of_cf_kind : cf_kind -> Ppx_yojson_conv_lib.Yojson.Safe.t
val yojson_of_expr' : expr' -> Ppx_yojson_conv_lib.Yojson.Safe.t
val yojson_of_expr : expr -> Yojson.Safe.t
val yojson_of_quote : quote -> Ppx_yojson_conv_lib.Yojson.Safe.t
val yojson_of_supported_monads :
supported_monads ->
Ppx_yojson_conv_lib.Yojson.Safe.t
val yojson_of_loop_kind : loop_kind -> Ppx_yojson_conv_lib.Yojson.Safe.t
val yojson_of_loop_state : loop_state -> Yojson.Safe.t
val yojson_of_lhs : lhs -> Ppx_yojson_conv_lib.Yojson.Safe.t
val yojson_of_guard : guard -> Yojson.Safe.t
val yojson_of_guard' : guard' -> Ppx_yojson_conv_lib.Yojson.Safe.t
val yojson_of_arm' : arm' -> Ppx_yojson_conv_lib.Yojson.Safe.t
val yojson_of_arm : arm -> Yojson.Safe.t
val ty_of_sexp : Sexplib0__.Sexp.t -> ty
val impl_expr_of_sexp : Sexplib0.Sexp.t -> impl_expr
val trait_goal_of_sexp : Sexplib0__.Sexp.t -> trait_goal
val impl_ident_of_sexp : Sexplib0__.Sexp.t -> impl_ident
val pat'_of_sexp : Sexplib0__.Sexp.t -> pat'
val pat_of_sexp : Sexplib0__.Sexp.t -> pat
val field_pat_of_sexp : Sexplib0.Sexp.t -> field_pat
val cf_kind_of_sexp : Sexplib0.Sexp.t -> cf_kind
val expr'_of_sexp : Sexplib0__.Sexp.t -> expr'
val expr_of_sexp : Sexplib0__.Sexp.t -> expr
val quote_of_sexp : Sexplib0.Sexp.t -> quote
val loop_kind_of_sexp : Sexplib0__.Sexp.t -> loop_kind
val loop_state_of_sexp : Sexplib0.Sexp.t -> loop_state
val lhs_of_sexp : Sexplib0__.Sexp.t -> lhs
val guard_of_sexp : Sexplib0.Sexp.t -> guard
val guard'_of_sexp : Sexplib0__.Sexp.t -> guard'
val arm'_of_sexp : Sexplib0__.Sexp.t -> arm'
val arm_of_sexp : Sexplib0.Sexp.t -> arm
val sexp_of_ty : ty -> Sexplib0.Sexp.t
val sexp_of_impl_expr : impl_expr -> Sexplib0.Sexp.t
val sexp_of_trait_goal : trait_goal -> Sexplib0.Sexp.t
val sexp_of_impl_ident : impl_ident -> Sexplib0.Sexp.t
val sexp_of_pat' : pat' -> Sexplib0.Sexp.t
val sexp_of_pat : pat -> Sexplib0.Sexp.t
val sexp_of_field_pat : field_pat -> Sexplib0.Sexp.t
val sexp_of_cf_kind : cf_kind -> Sexplib0.Sexp.t
val sexp_of_expr' : expr' -> Sexplib0.Sexp.t
val sexp_of_expr : expr -> Sexplib0.Sexp.t
val sexp_of_quote : quote -> Sexplib0.Sexp.t
val sexp_of_loop_kind : loop_kind -> Sexplib0.Sexp.t
val sexp_of_loop_state : loop_state -> Sexplib0.Sexp.t
val sexp_of_lhs : lhs -> Sexplib0.Sexp.t
val sexp_of_guard : guard -> Sexplib0.Sexp.t
val sexp_of_guard' : guard' -> Sexplib0.Sexp.t
val sexp_of_arm' : arm' -> Sexplib0.Sexp.t
val sexp_of_arm : arm -> Sexplib0.Sexp.t
val hash_fold_ty :
Base__.Ppx_hash_lib.Std.Hash.state ->
ty ->
Base__.Ppx_hash_lib.Std.Hash.state
val hash_fold_generic_value :
Base__.Ppx_hash_lib.Std.Hash.state ->
generic_value ->
Base__.Ppx_hash_lib.Std.Hash.state
val hash_fold_impl_expr :
Base__.Ppx_hash_lib.Std.Hash.state ->
impl_expr ->
Base__.Ppx_hash_lib.Std.Hash.state
val hash_fold_impl_expr_kind :
Ppx_hash_lib.Std.Hash.state ->
impl_expr_kind ->
Ppx_hash_lib.Std.Hash.state
val hash_fold_trait_goal :
Ppx_hash_lib.Std.Hash.state ->
trait_goal ->
Ppx_hash_lib.Std.Hash.state
val hash_fold_dyn_trait_goal :
Base__.Ppx_hash_lib.Std.Hash.state ->
dyn_trait_goal ->
Base__.Ppx_hash_lib.Std.Hash.state
val hash_fold_impl_ident :
Ppx_hash_lib.Std.Hash.state ->
impl_ident ->
Ppx_hash_lib.Std.Hash.state
val hash_fold_projection_predicate :
Ppx_hash_lib.Std.Hash.state ->
projection_predicate ->
Ppx_hash_lib.Std.Hash.state
val hash_fold_pat' :
Ppx_hash_lib.Std.Hash.state ->
pat' ->
Ppx_hash_lib.Std.Hash.state
val hash_fold_pat :
Base__.Ppx_hash_lib.Std.Hash.state ->
pat ->
Base__.Ppx_hash_lib.Std.Hash.state
val hash_fold_field_pat :
Base__.Ppx_hash_lib.Std.Hash.state ->
field_pat ->
Base__.Ppx_hash_lib.Std.Hash.state
val hash_fold_cf_kind :
Ppx_hash_lib.Std.Hash.state ->
cf_kind ->
Ppx_hash_lib.Std.Hash.state
val hash_fold_expr' :
Ppx_hash_lib.Std.Hash.state ->
expr' ->
Ppx_hash_lib.Std.Hash.state
val hash_fold_expr :
Base__.Ppx_hash_lib.Std.Hash.state ->
expr ->
Base__.Ppx_hash_lib.Std.Hash.state
val hash_fold_quote :
Ppx_hash_lib.Std.Hash.state ->
quote ->
Ppx_hash_lib.Std.Hash.state
val hash_fold_supported_monads :
Ppx_hash_lib.Std.Hash.state ->
supported_monads ->
Ppx_hash_lib.Std.Hash.state
val hash_fold_loop_kind :
Ppx_hash_lib.Std.Hash.state ->
loop_kind ->
Ppx_hash_lib.Std.Hash.state
val hash_fold_loop_state :
Base__.Ppx_hash_lib.Std.Hash.state ->
loop_state ->
Base__.Ppx_hash_lib.Std.Hash.state
val hash_fold_lhs :
Ppx_hash_lib.Std.Hash.state ->
lhs ->
Ppx_hash_lib.Std.Hash.state
val hash_fold_guard :
Base__.Ppx_hash_lib.Std.Hash.state ->
guard ->
Base__.Ppx_hash_lib.Std.Hash.state
val hash_fold_guard' :
Ppx_hash_lib.Std.Hash.state ->
guard' ->
Ppx_hash_lib.Std.Hash.state
val hash_fold_arm' :
Ppx_hash_lib.Std.Hash.state ->
arm' ->
Ppx_hash_lib.Std.Hash.state
val hash_fold_arm :
Base__.Ppx_hash_lib.Std.Hash.state ->
arm ->
Base__.Ppx_hash_lib.Std.Hash.state
val hash_ty : ty -> Ppx_hash_lib.Std.Hash.hash_value
val hash_generic_value : generic_value -> Ppx_hash_lib.Std.Hash.hash_value
val hash_impl_expr : impl_expr -> Ppx_hash_lib.Std.Hash.hash_value
val hash_impl_expr_kind : impl_expr_kind -> Ppx_hash_lib.Std.Hash.hash_value
val hash_trait_goal : trait_goal -> Ppx_hash_lib.Std.Hash.hash_value
val hash_dyn_trait_goal : dyn_trait_goal -> Ppx_hash_lib.Std.Hash.hash_value
val hash_impl_ident : impl_ident -> Ppx_hash_lib.Std.Hash.hash_value
val hash_pat' : pat' -> Ppx_hash_lib.Std.Hash.hash_value
val hash_pat : pat -> Ppx_hash_lib.Std.Hash.hash_value
val hash_field_pat : field_pat -> Ppx_hash_lib.Std.Hash.hash_value
val hash_cf_kind : cf_kind -> Ppx_hash_lib.Std.Hash.hash_value
val hash_expr' : expr' -> Ppx_hash_lib.Std.Hash.hash_value
val hash_expr : expr -> Ppx_hash_lib.Std.Hash.hash_value
val hash_quote : quote -> Ppx_hash_lib.Std.Hash.hash_value
val hash_supported_monads :
supported_monads ->
Ppx_hash_lib.Std.Hash.hash_value
val hash_loop_kind : loop_kind -> Ppx_hash_lib.Std.Hash.hash_value
val hash_loop_state : loop_state -> Ppx_hash_lib.Std.Hash.hash_value
val hash_lhs : lhs -> Ppx_hash_lib.Std.Hash.hash_value
val hash_guard : guard -> Ppx_hash_lib.Std.Hash.hash_value
val hash_guard' : guard' -> Ppx_hash_lib.Std.Hash.hash_value
val hash_arm' : arm' -> Ppx_hash_lib.Std.Hash.hash_value
val hash_arm : arm -> Ppx_hash_lib.Std.Hash.hash_value
and generic_param_kind =
| GPLifetime of {
witness : F.lifetime;
}
| GPType
| GPConst of {
typ : ty;
}
val pp_generic_param :
Ppx_deriving_runtime.Format.formatter ->
generic_param ->
Ppx_deriving_runtime.unit
val show_generic_param : generic_param -> Ppx_deriving_runtime.string
val pp_generic_param_kind :
Ppx_deriving_runtime.Format.formatter ->
generic_param_kind ->
Ppx_deriving_runtime.unit
val pp_generic_constraint :
Ppx_deriving_runtime.Format.formatter ->
generic_constraint ->
Ppx_deriving_runtime.unit
val generic_param_of_yojson :
Ppx_yojson_conv_lib.Yojson.Safe.t ->
generic_param
val generic_param_kind_of_yojson :
Ppx_yojson_conv_lib.Yojson.Safe.t ->
generic_param_kind
val generic_constraint_of_yojson :
Ppx_yojson_conv_lib.Yojson.Safe.t ->
generic_constraint
val yojson_of_generic_param :
generic_param ->
Ppx_yojson_conv_lib.Yojson.Safe.t
val yojson_of_generic_param_kind :
generic_param_kind ->
Ppx_yojson_conv_lib.Yojson.Safe.t
val yojson_of_generic_constraint :
generic_constraint ->
Ppx_yojson_conv_lib.Yojson.Safe.t
val hash_fold_generic_param :
Ppx_hash_lib.Std.Hash.state ->
generic_param ->
Ppx_hash_lib.Std.Hash.state
val hash_fold_generic_param_kind :
Ppx_hash_lib.Std.Hash.state ->
generic_param_kind ->
Ppx_hash_lib.Std.Hash.state
val hash_fold_generic_constraint :
Ppx_hash_lib.Std.Hash.state ->
generic_constraint ->
Ppx_hash_lib.Std.Hash.state
val hash_generic_param : generic_param -> Ppx_hash_lib.Std.Hash.hash_value
val pp_param :
Ppx_deriving_runtime.Format.formatter ->
param ->
Ppx_deriving_runtime.unit
val show_param : param -> Ppx_deriving_runtime.string
val pp_generics :
Ppx_deriving_runtime.Format.formatter ->
generics ->
Ppx_deriving_runtime.unit
val show_generics : generics -> Ppx_deriving_runtime.string
val pp_variant :
Ppx_deriving_runtime.Format.formatter ->
variant ->
Ppx_deriving_runtime.unit
val show_variant : variant -> Ppx_deriving_runtime.string
val pp_item' :
Ppx_deriving_runtime.Format.formatter ->
item' ->
Ppx_deriving_runtime.unit
val show_item' : item' -> Ppx_deriving_runtime.string
val pp_item :
Ppx_deriving_runtime.Format.formatter ->
item ->
Ppx_deriving_runtime.unit
val show_item : item -> Ppx_deriving_runtime.string
val pp_impl_item' :
Ppx_deriving_runtime.Format.formatter ->
impl_item' ->
Ppx_deriving_runtime.unit
val show_impl_item' : impl_item' -> Ppx_deriving_runtime.string
val pp_impl_item :
Ppx_deriving_runtime.Format.formatter ->
impl_item ->
Ppx_deriving_runtime.unit
val show_impl_item : impl_item -> Ppx_deriving_runtime.string
val pp_trait_item' :
Ppx_deriving_runtime.Format.formatter ->
trait_item' ->
Ppx_deriving_runtime.unit
val show_trait_item' : trait_item' -> Ppx_deriving_runtime.string
val pp_trait_item :
Ppx_deriving_runtime.Format.formatter ->
trait_item ->
Ppx_deriving_runtime.unit
val show_trait_item : trait_item -> Ppx_deriving_runtime.string
val equal_param : param -> param -> Ppx_deriving_runtime.bool
val equal_item' : item' -> item' -> Ppx_deriving_runtime.bool
val equal_item : item -> item -> Ppx_deriving_runtime.bool
val param_of_yojson : Yojson.Safe.t -> param
val generics_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> generics
val variant_of_yojson : Yojson.Safe.t -> variant
val item'_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> item'
val item_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> item
val impl_item'_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> impl_item'
val impl_item_of_yojson : Yojson.Safe.t -> impl_item
val trait_item'_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> trait_item'
val trait_item_of_yojson : Yojson.Safe.t -> trait_item
val yojson_of_param : param -> Yojson.Safe.t
val yojson_of_generics : generics -> Ppx_yojson_conv_lib.Yojson.Safe.t
val yojson_of_variant : variant -> Yojson.Safe.t
val yojson_of_item' : item' -> Ppx_yojson_conv_lib.Yojson.Safe.t
val yojson_of_item : item -> Ppx_yojson_conv_lib.Yojson.Safe.t
val yojson_of_impl_item' : impl_item' -> Ppx_yojson_conv_lib.Yojson.Safe.t
val yojson_of_impl_item : impl_item -> Yojson.Safe.t
val yojson_of_trait_item' : trait_item' -> Ppx_yojson_conv_lib.Yojson.Safe.t
val yojson_of_trait_item : trait_item -> Yojson.Safe.t
val param_of_sexp : Sexplib0.Sexp.t -> param
val generics_of_sexp : Sexplib0__.Sexp.t -> generics
val variant_of_sexp : Sexplib0.Sexp.t -> variant
val item'_of_sexp : Sexplib0__.Sexp.t -> item'
val item_of_sexp : Sexplib0.Sexp.t -> item
val impl_item'_of_sexp : Sexplib0__.Sexp.t -> impl_item'
val impl_item_of_sexp : Sexplib0.Sexp.t -> impl_item
val trait_item'_of_sexp : Sexplib0__.Sexp.t -> trait_item'
val trait_item_of_sexp : Sexplib0.Sexp.t -> trait_item
val sexp_of_param : param -> Sexplib0.Sexp.t
val sexp_of_generics : generics -> Sexplib0.Sexp.t
val sexp_of_variant : variant -> Sexplib0.Sexp.t
val sexp_of_item' : item' -> Sexplib0.Sexp.t
val sexp_of_item : item -> Sexplib0.Sexp.t
val sexp_of_impl_item' : impl_item' -> Sexplib0.Sexp.t
val sexp_of_impl_item : impl_item -> Sexplib0.Sexp.t
val sexp_of_trait_item' : trait_item' -> Sexplib0.Sexp.t
val sexp_of_trait_item : trait_item -> Sexplib0.Sexp.t
val hash_fold_param :
Base__.Ppx_hash_lib.Std.Hash.state ->
param ->
Base__.Ppx_hash_lib.Std.Hash.state
val hash_fold_generics :
Ppx_hash_lib.Std.Hash.state ->
generics ->
Ppx_hash_lib.Std.Hash.state
val hash_fold_variant :
Base__.Ppx_hash_lib.Std.Hash.state ->
variant ->
Base__.Ppx_hash_lib.Std.Hash.state
val hash_fold_item' :
Ppx_hash_lib.Std.Hash.state ->
item' ->
Ppx_hash_lib.Std.Hash.state
val hash_fold_item :
Ppx_hash_lib.Std.Hash.state ->
item ->
Ppx_hash_lib.Std.Hash.state
val hash_fold_impl_item' :
Ppx_hash_lib.Std.Hash.state ->
impl_item' ->
Ppx_hash_lib.Std.Hash.state
val hash_fold_impl_item :
Base__.Ppx_hash_lib.Std.Hash.state ->
impl_item ->
Base__.Ppx_hash_lib.Std.Hash.state
val hash_fold_trait_item' :
Ppx_hash_lib.Std.Hash.state ->
trait_item' ->
Ppx_hash_lib.Std.Hash.state
val hash_fold_trait_item :
Base__.Ppx_hash_lib.Std.Hash.state ->
trait_item ->
Base__.Ppx_hash_lib.Std.Hash.state
val hash_param : param -> Ppx_hash_lib.Std.Hash.hash_value
val hash_generics : generics -> Ppx_hash_lib.Std.Hash.hash_value
val hash_variant : variant -> Ppx_hash_lib.Std.Hash.hash_value
val hash_item' : item' -> Ppx_hash_lib.Std.Hash.hash_value
val hash_item : item -> Ppx_hash_lib.Std.Hash.hash_value
val hash_impl_item' : impl_item' -> Ppx_hash_lib.Std.Hash.hash_value
val hash_impl_item : impl_item -> Ppx_hash_lib.Std.Hash.hash_value
val hash_trait_item' : trait_item' -> Ppx_hash_lib.Std.Hash.hash_value
val hash_trait_item : trait_item -> Ppx_hash_lib.Std.Hash.hash_value