Function hacl_sys::EverCrypt_Ed25519_verify

pub unsafe extern "C" fn EverCrypt_Ed25519_verify(
    public_key: *mut u8,
    msg_len: u32,
    msg: *mut u8,
    signature: *mut u8
) -> bool