Function Hacl_Streaming_SHA2_hash_256

pub unsafe extern "C" fn Hacl_Streaming_SHA2_hash_256(
    input: *mut u8,
    input_len: u32,
    dst: *mut u8,
)

Hash input, of len input_len, into dst, an array of 32 bytes.