pub unsafe extern "C" fn Hacl_Hash_SHA2_hash_512( output: *mut u8, input: *mut u8, input_len: u32, )
Hash input, of len input_len, into output, an array of 64 bytes.
input
input_len
output