void finalize_library_module() {
finalize_unification_hint();
finalize_fun_info_manager();
finalize_app_builder();
finalize_congr_lemma_manager();
finalize_light_rule_set();
finalize_type_context();
finalize_class_instance_resolution();
finalize_aux_recursors();
finalize_noncomputable();
finalize_composition_manager();
finalize_user_recursors();
finalize_relation_manager();
finalize_abbreviation();
finalize_normalize();
finalize_projection();
finalize_pp_options();
finalize_library_util();
finalize_class();
finalize_sorry();
finalize_unifier_plugin();
finalize_coercion();
finalize_aliases();
finalize_reducible();
finalize_scoped_ext();
finalize_private();
finalize_protected();
finalize_module();
finalize_explicit();
finalize_annotation();
finalize_resolve_macro();
finalize_string();
finalize_choice();
finalize_typed_expr();
finalize_let();
finalize_kernel_serializer();
finalize_unifier();
finalize_io_state();
finalize_idx_metavar();
finalize_placeholder();
finalize_print();
finalize_fingerprint();
finalize_constants();
finalize_trace();
finalize_attribute_manager();
}
void finalize_library_module() {
finalize_composition_manager();
finalize_class_instance_elaborator();
finalize_user_recursors();
finalize_relation_manager();
finalize_abbreviation();
finalize_normalize();
finalize_projection();
finalize_pp_options();
finalize_library_util();
finalize_class();
finalize_sorry();
finalize_unifier_plugin();
finalize_coercion();
finalize_aliases();
finalize_reducible();
finalize_scoped_ext();
finalize_private();
finalize_protected();
finalize_module();
finalize_explicit();
finalize_annotation();
finalize_resolve_macro();
finalize_string();
finalize_num();
finalize_choice();
finalize_typed_expr();
finalize_let();
finalize_kernel_serializer();
finalize_unifier();
finalize_io_state();
finalize_kernel_bindings();
finalize_idx_metavar();
finalize_placeholder();
finalize_print();
finalize_fingerprint();
finalize_constants();
}