ksmt-core/io.ksmt.solver.model/KFuncInterpVarsFree/default

default

open override val default: KExpr<T>?