ksmt-core/io.ksmt/KContext/mkArrayNLambda

mkArrayNLambda

open fun <R : KSort> mkArrayNLambda(indices: List<KDecl<*>>, body: KExpr<R>): KArrayNLambda<R>

Create n-ary array lambda expression (lambda (indices_0 ... indices_n) body).

See also