C++ (Cpp) transition::get_pp_token示例

示例#1

文件： parse_table.cpp 项目： cpehle/lean

transition replace(transition const & t, std::function<expr(expr const &)> const & f) {
    return transition(t.get_token(), replace(t.get_action(), f), t.get_pp_token());
}