Hacl_Hash_SHA2_hash_512

Function Hacl_Hash_SHA2_hash_512 

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