Function Hacl_Hash_SHA3_block_len

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