ksmt-core/io.ksmt.decl/KArray3StoreDecl/apply

apply

open override fun apply(args: List<KExpr<*>>): KApp<KArray3Sort<D0, D1, D2, R>, *>