ksmt-core/io.ksmt.expr/KTrue/KTrue

KTrue

fun KTrue(ctx: KContext)