ksmt-core/io.ksmt/KContext/mkConstApp

mkConstApp

open fun <T : KSort> mkConstApp(decl: KDecl<T>): KConst<T>

Create constant (function without arguments) app expression.

See also