Function EverCrypt_AEAD_uu___is_Ek

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

Both encryption and decryption require a state that holds the key. The state may be reused as many times as desired.