Esempi in C++ (Cpp) per name_generator

Esempio n. 1

File: preprocess_rec.cpp Progetto: davidmueller13/lean

static expr expand_aux_recursors(environment const & env, expr const & e) {
    auto tc = mk_type_checker(env, name_generator(), [=](name const & n) {
            return !is_aux_recursor(env, n) && !is_user_defined_recursor(env, n);
        });
    constraint_seq cs;
    return normalize(*tc, e, cs);
}

Esempio n. 2

File: name_generator.cpp Progetto: bmalehorn/lean

static int mk_name_generator(lua_State * L) {
    if (lua_gettop(L) == 0)
        return push_name_generator(L, name_generator(*g_tmp_prefix));
    else
        return push_name_generator(L, name_generator(to_name_ext(L, 1)));
}