ksmt-core/io.ksmt.expr/KArrayLambda/indexVarDeclarations

indexVarDeclarations

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