flux_macros::primops

Function mk_idx_arg

Source 
fn mk_idx_arg(i: usize) -> Ident