Esempi in C++ (Cpp) per macro_definition

Esempio n. 1

File: prenum.cpp Progetto: avigad/lean

expr mk_prenum(mpz const & v) {
    return mk_macro(macro_definition(new prenum_macro_definition_cell(v)), 0, nullptr);
}

Esempio n. 2

File: string.cpp Progetto: sakas--/lean

expr mk_string_macro(std::string const & v) {
    return mk_macro(macro_definition(new string_macro(v)));
}

Esempio n. 3

File: let.cpp Progetto: GallagherCommaJack/lean

expr mk_let_macro(name const & n, expr const & v, expr const & b) {
    auto d = macro_definition(new let_macro_definition_cell(n));
    expr args[2] = {v, b};
    return mk_macro(d, 2, args);
}