Esempi in C++ (Cpp) per initialize_frontend_lean_module

Esempio n. 1

File: init.cpp Progetto: bmalehorn/lean

void initialize() {
    save_stack_info();
    initialize_util_module();
    initialize_numerics_module();
    initialize_sexpr_module();
    initialize_kernel_module();
    initialize_inductive_module();
    initialize_quotient_module();
    init_default_print_fn();
    initialize_library_module();
    initialize_tactic_module();
    initialize_definitional_module();
    initialize_frontend_lean_module();
    register_modules();
}

Esempio n. 2

File: init.cpp Progetto: fpvandoorn/lean

void initialize() {
    save_stack_info();
    initialize_util_module();
    initialize_numerics_module();
    initialize_sexpr_module();
    initialize_kernel_module();
    initialize_inductive_module();
    initialize_quotient_module();
    init_default_print_fn();
    initialize_library_core_module();
    initialize_vm_core_module();
    initialize_library_module();
    initialize_compiler_module();
    initialize_tactic_module();
    initialize_constructions_module();
    initialize_equations_compiler_module();
    initialize_inductive_compiler_module();
    initialize_frontend_lean_module();
    initialize_vm_module();
}