ksmt-core/io.ksmt.expr/KArrayNStore/getNumIndices

getNumIndices

open override fun getNumIndices(): Int