Module Types.Exn

val table_id_node_of_yojson : string -> ('t -> map_types) -> (map_types -> 't0 option) -> (Yojson.Safe.t -> 't1) -> Yojson.Safe.t -> 't2 * int64
val abi_of_yojson : Yojson.Safe.t -> abi
val adt_expr_of_yojson : Yojson.Safe.t -> adt_expr
val alias_of_yojson : Yojson.Safe.t -> alias
val alias_kind_of_yojson : Yojson.Safe.t -> alias_kind
val align_of_yojson : Yojson.Safe.t -> align
val anon_const_for__decorated_for__expr_kind_of_yojson : Yojson.Safe.t -> anon_const_for__decorated_for__expr_kind
val arm_of_yojson : Yojson.Safe.t -> arm
val ascription_of_yojson : Yojson.Safe.t -> ascription
val assoc_item_of_yojson : Yojson.Safe.t -> assoc_item
val assoc_item_container_of_yojson : Yojson.Safe.t -> assoc_item_container
val assoc_kind_of_yojson : Yojson.Safe.t -> assoc_kind
val ast_pass_of_yojson : Yojson.Safe.t -> ast_pass
val attr_args_of_yojson : Yojson.Safe.t -> attr_args
val attr_args_eq_of_yojson : Yojson.Safe.t -> attr_args_eq
val attr_item_of_yojson : Yojson.Safe.t -> attr_item
val attr_kind_of_yojson : Yojson.Safe.t -> attr_kind
val attr_style_of_yojson : Yojson.Safe.t -> attr_style
val attribute_of_yojson : Yojson.Safe.t -> attribute
val backend_options_for__null_of_yojson : Yojson.Safe.t -> backend_options_for__null
val backend_for__null_of_yojson : Yojson.Safe.t -> backend_for__null
val bin_op_of_yojson : Yojson.Safe.t -> bin_op
val binder_for__clause_kind_of_yojson : Yojson.Safe.t -> binder_for__clause_kind
val binder_for__existential_predicate_of_yojson : Yojson.Safe.t -> binder_for__existential_predicate
val binder_for__trait_predicate_of_yojson : Yojson.Safe.t -> binder_for__trait_predicate
val binder_for__trait_ref_of_yojson : Yojson.Safe.t -> binder_for__trait_ref
val binder_for__ty_fn_sig_of_yojson : Yojson.Safe.t -> binder_for__ty_fn_sig
val binding_mode_of_yojson : Yojson.Safe.t -> binding_mode
val block_of_yojson : Yojson.Safe.t -> block
val block_safety_of_yojson : Yojson.Safe.t -> block_safety
val borrow_kind_of_yojson : Yojson.Safe.t -> borrow_kind
val bound_region_of_yojson : Yojson.Safe.t -> bound_region
val bound_region_kind_of_yojson : Yojson.Safe.t -> bound_region_kind
val bound_ty_of_yojson : Yojson.Safe.t -> bound_ty
val bound_ty_kind_of_yojson : Yojson.Safe.t -> bound_ty_kind
val bound_variable_kind_of_yojson : Yojson.Safe.t -> bound_variable_kind
val by_ref_of_yojson : Yojson.Safe.t -> by_ref
val canonical_ty_var_kind_of_yojson : Yojson.Safe.t -> canonical_ty_var_kind
val canonical_user_type_annotation_of_yojson : Yojson.Safe.t -> canonical_user_type_annotation
val canonical_var_info_of_yojson : Yojson.Safe.t -> canonical_var_info
val canonical_for__user_type_of_yojson : Yojson.Safe.t -> canonical_for__user_type
val clause_of_yojson : Yojson.Safe.t -> clause
val clause_kind_of_yojson : Yojson.Safe.t -> clause_kind
val closure_args_of_yojson : Yojson.Safe.t -> closure_args
val closure_kind_of_yojson : Yojson.Safe.t -> closure_kind
val command_for__null_of_yojson : Yojson.Safe.t -> command_for__null
val comment_kind_of_yojson : Yojson.Safe.t -> comment_kind
val const_arg_kind_for__decorated_for__expr_kind_of_yojson : Yojson.Safe.t -> const_arg_kind_for__decorated_for__expr_kind
val const_arg_for__decorated_for__expr_kind_of_yojson : Yojson.Safe.t -> const_arg_for__decorated_for__expr_kind
val constant_expr_kind_of_yojson : Yojson.Safe.t -> constant_expr_kind
val constant_field_expr_of_yojson : Yojson.Safe.t -> constant_field_expr
val constant_int_of_yojson : Yojson.Safe.t -> constant_int
val constant_literal_of_yojson : Yojson.Safe.t -> constant_literal
val constness_of_yojson : Yojson.Safe.t -> constness
val ctor_kind_of_yojson : Yojson.Safe.t -> ctor_kind
val ctor_of_of_yojson : Yojson.Safe.t -> ctor_of
val debug_engine_mode_of_yojson : Yojson.Safe.t -> debug_engine_mode
val decorated_for__constant_expr_kind_of_yojson : Yojson.Safe.t -> decorated_for__constant_expr_kind
val decorated_for__expr_kind_of_yojson : Yojson.Safe.t -> decorated_for__expr_kind
val decorated_for__pat_kind_of_yojson : Yojson.Safe.t -> decorated_for__pat_kind
val def_id_of_yojson : Yojson.Safe.t -> def_id
val def_id_contents_of_yojson : Yojson.Safe.t -> def_id_contents
val def_kind_of_yojson : Yojson.Safe.t -> def_kind
val def_path_item_of_yojson : Yojson.Safe.t -> def_path_item
val defaultness_of_yojson : Yojson.Safe.t -> defaultness
val delim_args_of_yojson : Yojson.Safe.t -> delim_args
val delim_span_of_yojson : Yojson.Safe.t -> delim_span
val delimiter_of_yojson : Yojson.Safe.t -> delimiter
val deps_kind_of_yojson : Yojson.Safe.t -> deps_kind
val desugaring_kind_of_yojson : Yojson.Safe.t -> desugaring_kind
val diagnostics_of_yojson : Yojson.Safe.t -> diagnostics
val disambiguated_def_path_item_of_yojson : Yojson.Safe.t -> disambiguated_def_path_item
val discriminant_definition_of_yojson : Yojson.Safe.t -> discriminant_definition
val dyn_kind_of_yojson : Yojson.Safe.t -> dyn_kind
val early_param_region_of_yojson : Yojson.Safe.t -> early_param_region
val edition_of_yojson : Yojson.Safe.t -> edition
val empty_args_extension_of_yojson : Yojson.Safe.t -> empty_args_extension
val empty_subcommand_extension_of_yojson : Yojson.Safe.t -> empty_subcommand_extension
val engine_options_of_yojson : Yojson.Safe.t -> engine_options
val error_guaranteed_of_yojson : Yojson.Safe.t -> error_guaranteed
val existential_predicate_of_yojson : Yojson.Safe.t -> existential_predicate
val existential_projection_of_yojson : Yojson.Safe.t -> existential_projection
val existential_trait_ref_of_yojson : Yojson.Safe.t -> existential_trait_ref
val expn_data_of_yojson : Yojson.Safe.t -> expn_data
val expn_kind_of_yojson : Yojson.Safe.t -> expn_kind
val export_body_kind_of_yojson : Yojson.Safe.t -> export_body_kind
val expr_kind_of_yojson : Yojson.Safe.t -> expr_kind
val extensible_options_for__null_of_yojson : Yojson.Safe.t -> extensible_options_for__null
val f_star_options_for__null_of_yojson : Yojson.Safe.t -> f_star_options_for__null
val fake_borrow_kind_of_yojson : Yojson.Safe.t -> fake_borrow_kind
val field_expr_of_yojson : Yojson.Safe.t -> field_expr
val field_pat_of_yojson : Yojson.Safe.t -> field_pat
val file_of_yojson : Yojson.Safe.t -> file
val file_name_of_yojson : Yojson.Safe.t -> file_name
val float_ty_of_yojson : Yojson.Safe.t -> float_ty
val fn_decl_of_yojson : Yojson.Safe.t -> fn_decl
val fn_def_for__decorated_for__expr_kind_of_yojson : Yojson.Safe.t -> fn_def_for__decorated_for__expr_kind
val fn_header_of_yojson : Yojson.Safe.t -> fn_header
val fn_ret_ty_of_yojson : Yojson.Safe.t -> fn_ret_ty
val fn_sig_of_yojson : Yojson.Safe.t -> fn_sig
val force_cargo_build_of_yojson : Yojson.Safe.t -> force_cargo_build
val foreign_item_kind_for__decorated_for__expr_kind_of_yojson : Yojson.Safe.t -> foreign_item_kind_for__decorated_for__expr_kind
val foreign_item_for__decorated_for__expr_kind_of_yojson : Yojson.Safe.t -> foreign_item_for__decorated_for__expr_kind
val from_engine_of_yojson : Yojson.Safe.t -> from_engine
val fru_info_of_yojson : Yojson.Safe.t -> fru_info
val generic_arg_of_yojson : Yojson.Safe.t -> generic_arg
val generic_param_def_of_yojson : Yojson.Safe.t -> generic_param_def
val generic_param_def_kind_of_yojson : Yojson.Safe.t -> generic_param_def_kind
val generic_param_kind_for__decorated_for__expr_kind_of_yojson : Yojson.Safe.t -> generic_param_kind_for__decorated_for__expr_kind
val generic_param_for__decorated_for__expr_kind_of_yojson : Yojson.Safe.t -> generic_param_for__decorated_for__expr_kind
val generics_for__decorated_for__expr_kind_of_yojson : Yojson.Safe.t -> generics_for__decorated_for__expr_kind
val glob_of_yojson : Yojson.Safe.t -> glob
val ha_assoc_role_of_yojson : Yojson.Safe.t -> ha_assoc_role
val ha_item_quote_of_yojson : Yojson.Safe.t -> ha_item_quote
val ha_item_quote_f_star_opts_of_yojson : Yojson.Safe.t -> ha_item_quote_f_star_opts
val ha_item_quote_position_of_yojson : Yojson.Safe.t -> ha_item_quote_position
val ha_item_status_of_yojson : Yojson.Safe.t -> ha_item_status
val ha_payload_of_yojson : Yojson.Safe.t -> ha_payload
val ha_uid_of_yojson : Yojson.Safe.t -> ha_uid
val hir_field_def_of_yojson : Yojson.Safe.t -> hir_field_def
val hir_generic_args_of_yojson : Yojson.Safe.t -> hir_generic_args
val hir_id_of_yojson : Yojson.Safe.t -> hir_id
val impl_expr_of_yojson : Yojson.Safe.t -> impl_expr
val impl_expr_atom_of_yojson : Yojson.Safe.t -> impl_expr_atom
val impl_expr_path_chunk_of_yojson : Yojson.Safe.t -> impl_expr_path_chunk
val impl_infos_of_yojson : Yojson.Safe.t -> impl_infos
val impl_item_kind_for__decorated_for__expr_kind_of_yojson : Yojson.Safe.t -> impl_item_kind_for__decorated_for__expr_kind
val impl_item_for__decorated_for__expr_kind_of_yojson : Yojson.Safe.t -> impl_item_for__decorated_for__expr_kind
val impl_polarity_of_yojson : Yojson.Safe.t -> impl_polarity
val impl_trait_in_trait_data_of_yojson : Yojson.Safe.t -> impl_trait_in_trait_data
val impl_for__decorated_for__expr_kind_of_yojson : Yojson.Safe.t -> impl_for__decorated_for__expr_kind
val implicit_self_kind_of_yojson : Yojson.Safe.t -> implicit_self_kind
val inclusion_clause_of_yojson : Yojson.Safe.t -> inclusion_clause
val inclusion_kind_of_yojson : Yojson.Safe.t -> inclusion_kind
val infer_ty_of_yojson : Yojson.Safe.t -> infer_ty
val inline_asm_of_yojson : Yojson.Safe.t -> inline_asm
val int_ty_of_yojson : Yojson.Safe.t -> int_ty
val integer_type_of_yojson : Yojson.Safe.t -> integer_type
val is_async_of_yojson : Yojson.Safe.t -> is_async
val is_auto_of_yojson : Yojson.Safe.t -> is_auto
val item_attributes_of_yojson : Yojson.Safe.t -> item_attributes
val item_kind_for__decorated_for__expr_kind_of_yojson : Yojson.Safe.t -> item_kind_for__decorated_for__expr_kind
val item_for__decorated_for__expr_kind_of_yojson : Yojson.Safe.t -> item_for__decorated_for__expr_kind
val kind_of_yojson : Yojson.Safe.t -> kind
val late_param_region_of_yojson : Yojson.Safe.t -> late_param_region
val lifetime_param_kind_of_yojson : Yojson.Safe.t -> lifetime_param_kind
val lint_level_of_yojson : Yojson.Safe.t -> lint_level
val lit_float_type_of_yojson : Yojson.Safe.t -> lit_float_type
val lit_int_type_of_yojson : Yojson.Safe.t -> lit_int_type
val lit_kind_of_yojson : Yojson.Safe.t -> lit_kind
val loc_of_yojson : Yojson.Safe.t -> loc
val local_ident_of_yojson : Yojson.Safe.t -> local_ident
val logical_op_of_yojson : Yojson.Safe.t -> logical_op
val macro_def_of_yojson : Yojson.Safe.t -> macro_def
val macro_invokation_of_yojson : Yojson.Safe.t -> macro_invokation
val macro_kind_of_yojson : Yojson.Safe.t -> macro_kind
val message_format_of_yojson : Yojson.Safe.t -> message_format
val meta_item_lit_of_yojson : Yojson.Safe.t -> meta_item_lit
val missing_lifetime_kind_of_yojson : Yojson.Safe.t -> missing_lifetime_kind
val movability_of_yojson : Yojson.Safe.t -> movability
val mut_borrow_kind_of_yojson : Yojson.Safe.t -> mut_borrow_kind
val namespace_of_yojson : Yojson.Safe.t -> namespace
val namespace_chunk_of_yojson : Yojson.Safe.t -> namespace_chunk
val node_for_def_id_contents_generated_of_yojson : Yojson.Safe.t -> node_for_def_id_contents_generated
val node_for_ty_kind_generated_of_yojson : Yojson.Safe.t -> node_for_ty_kind_generated
val non_macro_attr_kind_of_yojson : Yojson.Safe.t -> non_macro_attr_kind
val normal_attr_of_yojson : Yojson.Safe.t -> normal_attr
val outlives_predicate_for__node_for__ty_kind_of_yojson : Yojson.Safe.t -> outlives_predicate_for__node_for__ty_kind
val outlives_predicate_for__region_of_yojson : Yojson.Safe.t -> outlives_predicate_for__region
val output_of_yojson : Yojson.Safe.t -> output
val param_of_yojson : Yojson.Safe.t -> param
val param_const_of_yojson : Yojson.Safe.t -> param_const
val param_name_of_yojson : Yojson.Safe.t -> param_name
val param_ty_of_yojson : Yojson.Safe.t -> param_ty
val pat_kind_of_yojson : Yojson.Safe.t -> pat_kind
val pat_range_of_yojson : Yojson.Safe.t -> pat_range
val pat_range_boundary_of_yojson : Yojson.Safe.t -> pat_range_boundary
val path_or_dash_of_yojson : Yojson.Safe.t -> path_or_dash
val path_segment_of_yojson : Yojson.Safe.t -> path_segment
val placeholder_for__bound_region_of_yojson : Yojson.Safe.t -> placeholder_for__bound_region
val placeholder_for__bound_ty_of_yojson : Yojson.Safe.t -> placeholder_for__bound_ty
val placeholder_for_uint_of_yojson : Yojson.Safe.t -> placeholder_for_uint
val pointer_coercion_of_yojson : Yojson.Safe.t -> pointer_coercion
val prim_ty_of_yojson : Yojson.Safe.t -> prim_ty
val pro_verif_options_of_yojson : Yojson.Safe.t -> pro_verif_options
val profiling_data_of_yojson : Yojson.Safe.t -> profiling_data
val projection_predicate_of_yojson : Yojson.Safe.t -> projection_predicate
val q_path_of_yojson : Yojson.Safe.t -> q_path
val range_end_of_yojson : Yojson.Safe.t -> range_end
val real_file_name_of_yojson : Yojson.Safe.t -> real_file_name
val region_of_yojson : Yojson.Safe.t -> region
val region_kind_of_yojson : Yojson.Safe.t -> region_kind
val repr_flags_of_yojson : Yojson.Safe.t -> repr_flags
val repr_options_of_yojson : Yojson.Safe.t -> repr_options
val res_of_yojson : Yojson.Safe.t -> res
val result_of__string_or__string_of_yojson : Yojson.Safe.t -> result_of__string_or__string
val safety_of_yojson : Yojson.Safe.t -> safety
val scope_of_yojson : Yojson.Safe.t -> scope
val scope_data_of_yojson : Yojson.Safe.t -> scope_data
val source_map_of_yojson : Yojson.Safe.t -> source_map
val span_of_yojson : Yojson.Safe.t -> span
val spanned_for__lit_kind_of_yojson : Yojson.Safe.t -> spanned_for__lit_kind
val stmt_of_yojson : Yojson.Safe.t -> stmt
val stmt_kind_of_yojson : Yojson.Safe.t -> stmt_kind
val str_style_of_yojson : Yojson.Safe.t -> str_style
val term_of_yojson : Yojson.Safe.t -> term
val to_engine_of_yojson : Yojson.Safe.t -> to_engine
val trait_item_kind_for__decorated_for__expr_kind_of_yojson : Yojson.Safe.t -> trait_item_kind_for__decorated_for__expr_kind
val trait_item_for__decorated_for__expr_kind_of_yojson : Yojson.Safe.t -> trait_item_for__decorated_for__expr_kind
val trait_predicate_of_yojson : Yojson.Safe.t -> trait_predicate
val trait_ref_of_yojson : Yojson.Safe.t -> trait_ref
val translation_options_of_yojson : Yojson.Safe.t -> translation_options
val ty_fn_sig_of_yojson : Yojson.Safe.t -> ty_fn_sig
val ty_generics_of_yojson : Yojson.Safe.t -> ty_generics
val ty_kind_of_yojson : Yojson.Safe.t -> ty_kind
val uint_ty_of_yojson : Yojson.Safe.t -> uint_ty
val un_op_of_yojson : Yojson.Safe.t -> un_op
val use_kind_of_yojson : Yojson.Safe.t -> use_kind
val use_path_of_yojson : Yojson.Safe.t -> use_path
val user_type_of_yojson : Yojson.Safe.t -> user_type
val variance_of_yojson : Yojson.Safe.t -> variance
val variant_data_of_yojson : Yojson.Safe.t -> variant_data
val variant_informations_of_yojson : Yojson.Safe.t -> variant_informations
val variant_kind_of_yojson : Yojson.Safe.t -> variant_kind
val variant_for__decorated_for__expr_kind_of_yojson : Yojson.Safe.t -> variant_for__decorated_for__expr_kind
val with_def_ids_for__decorated_for__expr_kind_of_yojson : Yojson.Safe.t -> with_def_ids_for__decorated_for__expr_kind
val node_for__ty_kind_of_yojson : Yojson.Safe.t -> node_for__ty_kind
val node_for__def_id_contents_of_yojson : Yojson.Safe.t -> node_for__def_id_contents
val yojson_of_abi : abi -> Yojson.Safe.t
val yojson_of_adt_expr : adt_expr -> Yojson.Safe.t
val yojson_of_alias : alias -> Yojson.Safe.t
val yojson_of_alias_kind : alias_kind -> Yojson.Safe.t
val yojson_of_align : align -> Yojson.Safe.t
val yojson_of_anon_const_for__decorated_for__expr_kind : anon_const_for__decorated_for__expr_kind -> Yojson.Safe.t
val yojson_of_arm : arm -> Yojson.Safe.t
val yojson_of_ascription : ascription -> Yojson.Safe.t
val yojson_of_assoc_item : assoc_item -> Yojson.Safe.t
val yojson_of_assoc_item_container : assoc_item_container -> Yojson.Safe.t
val yojson_of_assoc_kind : assoc_kind -> Yojson.Safe.t
val yojson_of_ast_pass : ast_pass -> Yojson.Safe.t
val yojson_of_attr_args : attr_args -> Yojson.Safe.t
val yojson_of_attr_args_eq : attr_args_eq -> Yojson.Safe.t
val yojson_of_attr_item : attr_item -> Yojson.Safe.t
val yojson_of_attr_kind : attr_kind -> Yojson.Safe.t
val yojson_of_attr_style : attr_style -> Yojson.Safe.t
val yojson_of_attribute : attribute -> Yojson.Safe.t
val yojson_of_backend_options_for__null : backend_options_for__null -> Yojson.Safe.t
val yojson_of_backend_for__null : backend_for__null -> Yojson.Safe.t
val yojson_of_bin_op : bin_op -> Yojson.Safe.t
val yojson_of_binder_for__clause_kind : binder_for__clause_kind -> Yojson.Safe.t
val yojson_of_binder_for__existential_predicate : binder_for__existential_predicate -> Yojson.Safe.t
val yojson_of_binder_for__trait_predicate : binder_for__trait_predicate -> Yojson.Safe.t
val yojson_of_binder_for__trait_ref : binder_for__trait_ref -> Yojson.Safe.t
val yojson_of_binder_for__ty_fn_sig : binder_for__ty_fn_sig -> Yojson.Safe.t
val yojson_of_binding_mode : binding_mode -> Yojson.Safe.t
val yojson_of_block : block -> Yojson.Safe.t
val yojson_of_block_safety : block_safety -> Yojson.Safe.t
val yojson_of_borrow_kind : borrow_kind -> Yojson.Safe.t
val yojson_of_bound_region : bound_region -> Yojson.Safe.t
val yojson_of_bound_region_kind : bound_region_kind -> Yojson.Safe.t
val yojson_of_bound_ty : bound_ty -> Yojson.Safe.t
val yojson_of_bound_ty_kind : bound_ty_kind -> Yojson.Safe.t
val yojson_of_bound_variable_kind : bound_variable_kind -> Yojson.Safe.t
val yojson_of_by_ref : by_ref -> Yojson.Safe.t
val yojson_of_canonical_ty_var_kind : canonical_ty_var_kind -> Yojson.Safe.t
val yojson_of_canonical_user_type_annotation : canonical_user_type_annotation -> Yojson.Safe.t
val yojson_of_canonical_var_info : canonical_var_info -> Yojson.Safe.t
val yojson_of_canonical_for__user_type : canonical_for__user_type -> Yojson.Safe.t
val yojson_of_clause : clause -> Yojson.Safe.t
val yojson_of_clause_kind : clause_kind -> Yojson.Safe.t
val yojson_of_closure_args : closure_args -> Yojson.Safe.t
val yojson_of_closure_kind : closure_kind -> Yojson.Safe.t
val yojson_of_command_for__null : command_for__null -> Yojson.Safe.t
val yojson_of_comment_kind : comment_kind -> Yojson.Safe.t
val yojson_of_const_arg_kind_for__decorated_for__expr_kind : const_arg_kind_for__decorated_for__expr_kind -> Yojson.Safe.t
val yojson_of_const_arg_for__decorated_for__expr_kind : const_arg_for__decorated_for__expr_kind -> Yojson.Safe.t
val yojson_of_constant_expr_kind : constant_expr_kind -> Yojson.Safe.t
val yojson_of_constant_field_expr : constant_field_expr -> Yojson.Safe.t
val yojson_of_constant_int : constant_int -> Yojson.Safe.t
val yojson_of_constant_literal : constant_literal -> Yojson.Safe.t
val yojson_of_constness : constness -> Yojson.Safe.t
val yojson_of_ctor_kind : ctor_kind -> Yojson.Safe.t
val yojson_of_ctor_of : ctor_of -> Yojson.Safe.t
val yojson_of_debug_engine_mode : debug_engine_mode -> Yojson.Safe.t
val yojson_of_decorated_for__constant_expr_kind : decorated_for__constant_expr_kind -> Yojson.Safe.t
val yojson_of_decorated_for__expr_kind : decorated_for__expr_kind -> Yojson.Safe.t
val yojson_of_decorated_for__pat_kind : decorated_for__pat_kind -> Yojson.Safe.t
val yojson_of_def_id : def_id -> Yojson.Safe.t
val yojson_of_def_id_contents : def_id_contents -> Yojson.Safe.t
val yojson_of_def_kind : def_kind -> Yojson.Safe.t
val yojson_of_def_path_item : def_path_item -> Yojson.Safe.t
val yojson_of_defaultness : defaultness -> Yojson.Safe.t
val yojson_of_delim_args : delim_args -> Yojson.Safe.t
val yojson_of_delim_span : delim_span -> Yojson.Safe.t
val yojson_of_delimiter : delimiter -> Yojson.Safe.t
val yojson_of_deps_kind : deps_kind -> Yojson.Safe.t
val yojson_of_desugaring_kind : desugaring_kind -> Yojson.Safe.t
val yojson_of_diagnostics : diagnostics -> Yojson.Safe.t
val yojson_of_disambiguated_def_path_item : disambiguated_def_path_item -> Yojson.Safe.t
val yojson_of_discriminant_definition : discriminant_definition -> Yojson.Safe.t
val yojson_of_dyn_kind : dyn_kind -> Yojson.Safe.t
val yojson_of_early_param_region : early_param_region -> Yojson.Safe.t
val yojson_of_edition : edition -> Yojson.Safe.t
val yojson_of_empty_args_extension : empty_args_extension -> Yojson.Safe.t
val yojson_of_empty_subcommand_extension : empty_subcommand_extension -> Yojson.Safe.t
val yojson_of_engine_options : engine_options -> Yojson.Safe.t
val yojson_of_error_guaranteed : error_guaranteed -> Yojson.Safe.t
val yojson_of_existential_predicate : existential_predicate -> Yojson.Safe.t
val yojson_of_existential_projection : existential_projection -> Yojson.Safe.t
val yojson_of_existential_trait_ref : existential_trait_ref -> Yojson.Safe.t
val yojson_of_expn_data : expn_data -> Yojson.Safe.t
val yojson_of_expn_kind : expn_kind -> Yojson.Safe.t
val yojson_of_export_body_kind : export_body_kind -> Yojson.Safe.t
val yojson_of_expr_kind : expr_kind -> Yojson.Safe.t
val yojson_of_extensible_options_for__null : extensible_options_for__null -> Yojson.Safe.t
val yojson_of_f_star_options_for__null : f_star_options_for__null -> Yojson.Safe.t
val yojson_of_fake_borrow_kind : fake_borrow_kind -> Yojson.Safe.t
val yojson_of_field_expr : field_expr -> Yojson.Safe.t
val yojson_of_field_pat : field_pat -> Yojson.Safe.t
val yojson_of_file : file -> Yojson.Safe.t
val yojson_of_file_name : file_name -> Yojson.Safe.t
val yojson_of_float_ty : float_ty -> Yojson.Safe.t
val yojson_of_fn_decl : fn_decl -> Yojson.Safe.t
val yojson_of_fn_def_for__decorated_for__expr_kind : fn_def_for__decorated_for__expr_kind -> Yojson.Safe.t
val yojson_of_fn_header : fn_header -> Yojson.Safe.t
val yojson_of_fn_ret_ty : fn_ret_ty -> Yojson.Safe.t
val yojson_of_fn_sig : fn_sig -> Yojson.Safe.t
val yojson_of_force_cargo_build : force_cargo_build -> Yojson.Safe.t
val yojson_of_foreign_item_kind_for__decorated_for__expr_kind : foreign_item_kind_for__decorated_for__expr_kind -> Yojson.Safe.t
val yojson_of_foreign_item_for__decorated_for__expr_kind : foreign_item_for__decorated_for__expr_kind -> Yojson.Safe.t
val yojson_of_from_engine : from_engine -> Yojson.Safe.t
val yojson_of_fru_info : fru_info -> Yojson.Safe.t
val yojson_of_generic_arg : generic_arg -> Yojson.Safe.t
val yojson_of_generic_param_def : generic_param_def -> Yojson.Safe.t
val yojson_of_generic_param_def_kind : generic_param_def_kind -> Yojson.Safe.t
val yojson_of_generic_param_kind_for__decorated_for__expr_kind : generic_param_kind_for__decorated_for__expr_kind -> Yojson.Safe.t
val yojson_of_generic_param_for__decorated_for__expr_kind : generic_param_for__decorated_for__expr_kind -> Yojson.Safe.t
val yojson_of_generics_for__decorated_for__expr_kind : generics_for__decorated_for__expr_kind -> Yojson.Safe.t
val yojson_of_glob : glob -> Yojson.Safe.t
val yojson_of_ha_assoc_role : ha_assoc_role -> Yojson.Safe.t
val yojson_of_ha_item_quote : ha_item_quote -> Yojson.Safe.t
val yojson_of_ha_item_quote_f_star_opts : ha_item_quote_f_star_opts -> Yojson.Safe.t
val yojson_of_ha_item_quote_position : ha_item_quote_position -> Yojson.Safe.t
val yojson_of_ha_item_status : ha_item_status -> Yojson.Safe.t
val yojson_of_ha_payload : ha_payload -> Yojson.Safe.t
val yojson_of_ha_uid : ha_uid -> Yojson.Safe.t
val yojson_of_hir_field_def : hir_field_def -> Yojson.Safe.t
val yojson_of_hir_generic_args : hir_generic_args -> Yojson.Safe.t
val yojson_of_hir_id : hir_id -> Yojson.Safe.t
val yojson_of_impl_expr : impl_expr -> Yojson.Safe.t
val yojson_of_impl_expr_atom : impl_expr_atom -> Yojson.Safe.t
val yojson_of_impl_expr_path_chunk : impl_expr_path_chunk -> Yojson.Safe.t
val yojson_of_impl_infos : impl_infos -> Yojson.Safe.t
val yojson_of_impl_item_kind_for__decorated_for__expr_kind : impl_item_kind_for__decorated_for__expr_kind -> Yojson.Safe.t
val yojson_of_impl_item_for__decorated_for__expr_kind : impl_item_for__decorated_for__expr_kind -> Yojson.Safe.t
val yojson_of_impl_polarity : impl_polarity -> Yojson.Safe.t
val yojson_of_impl_trait_in_trait_data : impl_trait_in_trait_data -> Yojson.Safe.t
val yojson_of_impl_for__decorated_for__expr_kind : impl_for__decorated_for__expr_kind -> Yojson.Safe.t
val yojson_of_implicit_self_kind : implicit_self_kind -> Yojson.Safe.t
val yojson_of_inclusion_clause : inclusion_clause -> Yojson.Safe.t
val yojson_of_inclusion_kind : inclusion_kind -> Yojson.Safe.t
val yojson_of_infer_ty : infer_ty -> Yojson.Safe.t
val yojson_of_inline_asm : inline_asm -> Yojson.Safe.t
val yojson_of_int_ty : int_ty -> Yojson.Safe.t
val yojson_of_integer_type : integer_type -> Yojson.Safe.t
val yojson_of_is_async : is_async -> Yojson.Safe.t
val yojson_of_is_auto : is_auto -> Yojson.Safe.t
val yojson_of_item_attributes : item_attributes -> Yojson.Safe.t
val yojson_of_item_kind_for__decorated_for__expr_kind : item_kind_for__decorated_for__expr_kind -> Yojson.Safe.t
val yojson_of_item_for__decorated_for__expr_kind : item_for__decorated_for__expr_kind -> Yojson.Safe.t
val yojson_of_kind : kind -> Yojson.Safe.t
val yojson_of_late_param_region : late_param_region -> Yojson.Safe.t
val yojson_of_lifetime_param_kind : lifetime_param_kind -> Yojson.Safe.t
val yojson_of_lint_level : lint_level -> Yojson.Safe.t
val yojson_of_lit_float_type : lit_float_type -> Yojson.Safe.t
val yojson_of_lit_int_type : lit_int_type -> Yojson.Safe.t
val yojson_of_lit_kind : lit_kind -> Yojson.Safe.t
val yojson_of_loc : loc -> Yojson.Safe.t
val yojson_of_local_ident : local_ident -> Yojson.Safe.t
val yojson_of_logical_op : logical_op -> Yojson.Safe.t
val yojson_of_macro_def : macro_def -> Yojson.Safe.t
val yojson_of_macro_invokation : macro_invokation -> Yojson.Safe.t
val yojson_of_macro_kind : macro_kind -> Yojson.Safe.t
val yojson_of_message_format : message_format -> Yojson.Safe.t
val yojson_of_meta_item_lit : meta_item_lit -> Yojson.Safe.t
val yojson_of_missing_lifetime_kind : missing_lifetime_kind -> Yojson.Safe.t
val yojson_of_movability : movability -> Yojson.Safe.t
val yojson_of_mut_borrow_kind : mut_borrow_kind -> Yojson.Safe.t
val yojson_of_namespace : namespace -> Yojson.Safe.t
val yojson_of_namespace_chunk : namespace_chunk -> Yojson.Safe.t
val yojson_of_node_for_def_id_contents_generated : node_for_def_id_contents_generated -> Yojson.Safe.t
val yojson_of_node_for_ty_kind_generated : node_for_ty_kind_generated -> Yojson.Safe.t
val yojson_of_non_macro_attr_kind : non_macro_attr_kind -> Yojson.Safe.t
val yojson_of_normal_attr : normal_attr -> Yojson.Safe.t
val yojson_of_outlives_predicate_for__node_for__ty_kind : outlives_predicate_for__node_for__ty_kind -> Yojson.Safe.t
val yojson_of_outlives_predicate_for__region : outlives_predicate_for__region -> Yojson.Safe.t
val yojson_of_output : output -> Yojson.Safe.t
val yojson_of_param : param -> Yojson.Safe.t
val yojson_of_param_const : param_const -> Yojson.Safe.t
val yojson_of_param_name : param_name -> Yojson.Safe.t
val yojson_of_param_ty : param_ty -> Yojson.Safe.t
val yojson_of_pat_kind : pat_kind -> Yojson.Safe.t
val yojson_of_pat_range : pat_range -> Yojson.Safe.t
val yojson_of_pat_range_boundary : pat_range_boundary -> Yojson.Safe.t
val yojson_of_path_or_dash : path_or_dash -> Yojson.Safe.t
val yojson_of_path_segment : path_segment -> Yojson.Safe.t
val yojson_of_placeholder_for__bound_region : placeholder_for__bound_region -> Yojson.Safe.t
val yojson_of_placeholder_for__bound_ty : placeholder_for__bound_ty -> Yojson.Safe.t
val yojson_of_placeholder_for_uint : placeholder_for_uint -> Yojson.Safe.t
val yojson_of_pointer_coercion : pointer_coercion -> Yojson.Safe.t
val yojson_of_prim_ty : prim_ty -> Yojson.Safe.t
val yojson_of_pro_verif_options : pro_verif_options -> Yojson.Safe.t
val yojson_of_profiling_data : profiling_data -> Yojson.Safe.t
val yojson_of_projection_predicate : projection_predicate -> Yojson.Safe.t
val yojson_of_q_path : q_path -> Yojson.Safe.t
val yojson_of_range_end : range_end -> Yojson.Safe.t
val yojson_of_real_file_name : real_file_name -> Yojson.Safe.t
val yojson_of_region : region -> Yojson.Safe.t
val yojson_of_region_kind : region_kind -> Yojson.Safe.t
val yojson_of_repr_flags : repr_flags -> Yojson.Safe.t
val yojson_of_repr_options : repr_options -> Yojson.Safe.t
val yojson_of_res : res -> Yojson.Safe.t
val yojson_of_result_of__string_or__string : result_of__string_or__string -> Yojson.Safe.t
val yojson_of_safety : safety -> Yojson.Safe.t
val yojson_of_scope : scope -> Yojson.Safe.t
val yojson_of_scope_data : scope_data -> Yojson.Safe.t
val yojson_of_source_map : source_map -> Yojson.Safe.t
val yojson_of_span : span -> Yojson.Safe.t
val yojson_of_spanned_for__lit_kind : spanned_for__lit_kind -> Yojson.Safe.t
val yojson_of_stmt : stmt -> Yojson.Safe.t
val yojson_of_stmt_kind : stmt_kind -> Yojson.Safe.t
val yojson_of_str_style : str_style -> Yojson.Safe.t
val yojson_of_term : term -> Yojson.Safe.t
val yojson_of_to_engine : to_engine -> Yojson.Safe.t
val yojson_of_trait_item_kind_for__decorated_for__expr_kind : trait_item_kind_for__decorated_for__expr_kind -> Yojson.Safe.t
val yojson_of_trait_item_for__decorated_for__expr_kind : trait_item_for__decorated_for__expr_kind -> Yojson.Safe.t
val yojson_of_trait_predicate : trait_predicate -> Yojson.Safe.t
val yojson_of_trait_ref : trait_ref -> Yojson.Safe.t
val yojson_of_translation_options : translation_options -> Yojson.Safe.t
val yojson_of_ty_fn_sig : ty_fn_sig -> Yojson.Safe.t
val yojson_of_ty_generics : ty_generics -> Yojson.Safe.t
val yojson_of_ty_kind : ty_kind -> Yojson.Safe.t
val yojson_of_uint_ty : uint_ty -> Yojson.Safe.t
val yojson_of_un_op : un_op -> Yojson.Safe.t
val yojson_of_use_kind : use_kind -> Yojson.Safe.t
val yojson_of_use_path : use_path -> Yojson.Safe.t
val yojson_of_user_type : user_type -> Yojson.Safe.t
val yojson_of_variance : variance -> Yojson.Safe.t
val yojson_of_variant_data : variant_data -> Yojson.Safe.t
val yojson_of_variant_informations : variant_informations -> Yojson.Safe.t
val yojson_of_variant_kind : variant_kind -> Yojson.Safe.t
val yojson_of_variant_for__decorated_for__expr_kind : variant_for__decorated_for__expr_kind -> Yojson.Safe.t
val yojson_of_with_def_ids_for__decorated_for__expr_kind : with_def_ids_for__decorated_for__expr_kind -> Yojson.Safe.t
val yojson_of_node_for__ty_kind : node_for__ty_kind -> Yojson.Safe.t
val yojson_of_node_for__def_id_contents : node_for__def_id_contents -> Yojson.Safe.t