Hacl_EC_Ed25519_mk_base_point

Function Hacl_EC_Ed25519_mk_base_point 

Source
pub unsafe extern "C" fn Hacl_EC_Ed25519_mk_base_point(p: *mut u64)