Hacl_Impl_SHA3_keccak_rotc

Static Hacl_Impl_SHA3_keccak_rotc 

Source
pub unsafe static Hacl_Impl_SHA3_keccak_rotc: [u32; 24]