implicit_count   2404 src/Func.cpp                    int count) : func(f), implicit_count(count), args(a){
implicit_count   2440 src/Func.cpp               user_assert(implicit_count >= count.count)
implicit_count   2443 src/Func.cpp                   << implicit_count << " implicit variables.\n";
implicit_count   2445 src/Func.cpp               internal_assert(implicit_count == 0)
implicit_count    314 src/Func.h         int implicit_count;