C++ (Cpp) parser::push_local_scope Examples

Example #1

File: builtin_cmds.cpp Project: silky/lean

environment section_cmd(parser & p) {
    p.push_local_scope();
    return push_scope(p.env(), p.ios());
}