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

apply

abstract fun KContext.apply(arg0: KExpr<A0>, arg1: KExpr<A1>, arg2: KExpr<A2>): KApp<T, *>
open override fun apply(args: List<KExpr<*>>): KApp<T, *>