Function Hacl_Hash_SHA3_reset

pub unsafe extern "C" fn Hacl_Hash_SHA3_reset(
    state: *mut Hacl_Hash_SHA3_state_t,
)