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

vars

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