Hacl_Impl_SHA3_state_permute

Function Hacl_Impl_SHA3_state_permute 

Source
pub unsafe extern "C" fn Hacl_Impl_SHA3_state_permute(s: *mut u64)