Function hacl_sys::EverCrypt_AEAD_uu___is_Ek

source · 
pub unsafe extern "C" fn EverCrypt_AEAD_uu___is_Ek(
    a: Spec_Agile_AEAD_alg,
    projectee: EverCrypt_AEAD_state_s
) -> bool