Пример #1
0
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();
}
Пример #2
0
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();
}