Hacl_Impl_SHA3_keccak_rndc

Static Hacl_Impl_SHA3_keccak_rndc 

Source
pub unsafe static Hacl_Impl_SHA3_keccak_rndc: [u64; 24]