lambda的return type有的时候一定要指明。。。

auto occur_check =
[&]( const auto & self, const term & te )->bool
{
return
std::any_of(
te->arguments.begin( ),
te->arguments.end( ),
[&]( const term & te )
{ return ( te->name == "variable" && te->arguments[0]->name == var ) || self( self, te );; } );
};
->bool去掉了推不出HHH
个人网站marisa.moe球收藏球点击DAZE=w=