Hacl_EC_Ed25519_point_negate

Function Hacl_EC_Ed25519_point_negate 

Source
pub unsafe extern "C" fn Hacl_EC_Ed25519_point_negate(
    p: *mut u64,
    out: *mut u64,
)