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

entries

open override val entries: List<KFuncInterpEntry<T>>