ksmt-core/io.ksmt.expr/KArrayStore/decl

decl

open override val decl: KDecl<KArraySort<D, R>>