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

default

open override val default: KExpr<T>?