hacl_sys

Function 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