Hacl_FFDHE_ffdhe_shared_secret

evercrypt_tiny_sys

Function Hacl_FFDHE_ffdhe_shared_secret 

Source 
pub unsafe extern "C" fn Hacl_FFDHE_ffdhe_shared_secret(
    a: Spec_FFDHE_ffdhe_alg,
    sk: *mut u8,
    pk: *mut u8,
    ss: *mut u8,
) -> u64