Function hacl_sys::Hacl_Blake2b_256_load_state256b_from_state32

pub unsafe extern "C" fn Hacl_Blake2b_256_load_state256b_from_state32(
    st: *mut Lib_IntVector_Intrinsics_vec256,
    st32: *mut u64
)