RandomSeed
Commands
Range
Regex
RealSort
Reals
Reals
theories
ReasonUnknown
CommandsResponses
ReasonUnknownInfoFlag
Commands
ReasonUnknownInfoResponse
CommandsResponses
RecursivePrinter
printer
Regex
Strings
RegularOutputChannel
Commands
Repeat
FixedSizeBitVectors
Replace
Experimental
ReproducibleResourceLimit
Commands
ReservedWord
Tokens
Reset
Tokens Commands
ResetAssertions
Tokens Commands
RotateLeft
FixedSizeBitVectors
RotateRight
FixedSizeBitVectors
reason
ReasonUnknownInfoResponse
repr
Hexadecimal
reservedToSymbol
Tokens
returnSort
DeclareFun FunDec FunDef