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

getNumIndices

abstract fun getNumIndices(): Int