ksmt-core/io.ksmt/KContext/operationMode

operationMode

val operationMode: KContext.OperationMode