pub unsafe extern "C" fn Hacl_Ed25519_verify( pub_: *mut u8, len: u32, msg: *mut u8, signature: *mut u8, ) -> bool