Module n_of_m 

The n-of-m selection: within each window of m inputs, the n whose position hashes lowest are selected; the body of n_of and of its native lowering.

Functions

n_of_m_eval

Core n-of-m evaluation: hash the input’s position within its window and check whether its rank falls within the selected n.