Hacl_Impl_SHA3_rotl

Function Hacl_Impl_SHA3_rotl 

Source
pub unsafe extern "C" fn Hacl_Impl_SHA3_rotl(a: u64, b: u32) -> u64