Skip to main content

menu_split

logicaffeine_proof::census

Function menu_split 

Source 
pub fn menu_split(n: usize) -> MenuSplit
Expand description

Compute the MenuSplit for n (lean: reaches n=4).