Function ntt_inverse_layer 

fn ntt_inverse_layer<const LEN: usize, const ITERATIONS: usize>(
    f: &mut Array<Elem<BaseField>, U256>,
    k: &mut usize,
)

One layer of the inverse NTT butterfly.

See ntt_layer for the rationale behind the const generics.