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

getNumIndices

open override fun getNumIndices(): Int