Function hacl_sys::Hacl_Blake2s_128_store_state128s_to_state32

pub unsafe extern "C" fn Hacl_Blake2s_128_store_state128s_to_state32(
    st32: *mut u32,
    st: *mut Lib_IntVector_Intrinsics_vec128
)