Function Hacl_Hash_SHA3_is_shake

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