pub type Corner = u64;
A corner (vertex) of the hypercube {0,1}ⁿ: bit v holds the value of variable v. Enumeration routines assume n ≤ 63; the algebra itself is width-agnostic.
{0,1}ⁿ
v
n ≤ 63