check_dots_empty0() is a more efficient version of check_dots_empty() with a slightly different interface. Instead of inspecting the current environment for dots, it directly takes .... It is only meant for very low level functions where a couple microseconds make a difference.

check_dots_empty0(...)

Arguments

...

Dots which should be empty.