hacl_sys

Function EverCrypt_Ed25519_secret_to_public

Source
pub unsafe extern "C" fn EverCrypt_Ed25519_secret_to_public(
    public_key: *mut u8,
    private_key: *mut u8,
)