Function Hacl_Ed25519_sign 

pub unsafe extern "C" fn Hacl_Ed25519_sign(
    signature: *mut u8,
    priv_: *mut u8,
    len: u32,
    msg: *mut u8,
)