BooleanConsecutiveFunction[k, n]
BooleanConsecutiveFunction[{k, True}, n]
BooleanConsecutiveFunction[{k1, k2, …, k d}, {n1, n2, …, n d}]
BooleanConsecutiveFunction[{{k1, k2, …, k d}, {c1, c2, …, c d}}, {n1, n2, …, n d}]
BooleanConsecutiveFunction[spec, {a1, a2, …}]
BooleanConsecutiveFunction[spec, {a1, a2, …}, form]