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

apply

abstract fun apply(args: List<KExpr<*>>): KApp<T, *>