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

apply

abstract fun KContext.apply(arg: KExpr<A>): KApp<T, A>
open override fun apply(args: List<KExpr<*>>): KApp<T, *>