ksmt-core/io.ksmt.solver.util/KExprLongConverterBase/exprStack

exprStack

@JvmField
val exprStack: LongArrayList