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

vars

open override val vars: List<KDecl<*>>