ksmt-core/io.ksmt.expr/KPowerArithExpr/rhs

rhs

val rhs: KExpr<T>