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

### - r -

- REAL_TYPE : CVC4
- RECORD : CVC4::kind
- RECORD_SELECT : CVC4::kind
- RECORD_SELECT_OP : CVC4::kind
- RECORD_TYPE : CVC4::kind
- RECORD_UPDATE : CVC4::kind
- RECORD_UPDATE_OP : CVC4::kind
- REGEXP_CONCAT : CVC4::kind
- REGEXP_EMPTY : CVC4::kind
- REGEXP_INTER : CVC4::kind
- REGEXP_LOOP : CVC4::kind
- REGEXP_OPT : CVC4::kind
- REGEXP_PLUS : CVC4::kind
- REGEXP_RANGE : CVC4::kind
- REGEXP_SIGMA : CVC4::kind
- REGEXP_STAR : CVC4::kind
- REGEXP_TYPE : CVC4
- REGEXP_UNION : CVC4::kind
- REWRITE_RULE : CVC4::kind
- RR_DEDUCTION : CVC4::kind
- RR_REDUCTION : CVC4::kind
- RR_REWRITE : CVC4::kind
- RRHB_TYPE : CVC4