[][src]Function hacl_star_sys::sha2_512::Hacl_SHA2_512_finish

pub unsafe extern "C" fn Hacl_SHA2_512_finish(state: *mut u64, hash1: *mut u8)