pub unsafe extern "C" fn Hacl_Streaming_Keccak_is_shake( s: *mut Hacl_Streaming_Keccak_state, ) -> bool