True when at least k of the last n bits are set.
coefs: [n, k]. Majority, burst detection and k-of-n voting.
Definition at line 62 of file Boolean.cpp.