ksmt-core/io.ksmt.solver.model/KFuncInterpEntryWithVarsThreeAry/value

value

open override val value: KExpr<T>