Function Hacl_Hash_SHA2_update_multi_256 

pub unsafe extern "C" fn Hacl_Hash_SHA2_update_multi_256(
    s: *mut u32,
    blocks: *mut u8,
    n_blocks: u32,
)