mina_tree::proofs::wrap

Constant PERMUTS_MINUS_1_ADD_N1

Source 
pub const PERMUTS_MINUS_1_ADD_N1: usize = 6;
Expand description

Permuts_minus_1.add Nat.N1.n