Function EverCrypt_CTR_uu___is_State 

pub unsafe extern "C" fn EverCrypt_CTR_uu___is_State(
    a: Spec_Agile_Cipher_cipher_alg,
    projectee: EverCrypt_CTR_state_s,
) -> bool