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

apply

fun apply(): KApp<T, *>