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

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