Here is a list of all namespace enum values with links to the namespace documentation for each enum value:

### - i -

- IFF : CVC4::kind
- IMPLIES : CVC4::kind
- INEQUALITY_PRESOLVE_LEMMAS : CVC4
- INSERT : CVC4::kind
- INST_CONSTANT : CVC4::kind
- INST_FORMAT_MODE_DEFAULT : CVC4
- INST_FORMAT_MODE_SZS : CVC4
- INST_PATTERN : CVC4::kind
- INST_PATTERN_LIST : CVC4::kind
- INST_PATTERN_LIST_TYPE : CVC4
- INST_PATTERN_TYPE : CVC4
- INT_TO_BITVECTOR : CVC4::kind
- INT_TO_BITVECTOR_OP : CVC4::kind
- INTEGER_TYPE : CVC4
- INTERSECTION : CVC4::kind
- INTS_DIVISION : CVC4::kind
- INTS_DIVISION_TOTAL : CVC4::kind
- INTS_MODULUS : CVC4::kind
- INTS_MODULUS_TOTAL : CVC4::kind
- INVALID : CVC3
- IS_INTEGER : CVC4::kind
- ITE : CVC4::kind