ksmt-core/io.ksmt/KContext/mkDistinctNoSimplify

mkDistinctNoSimplify

open fun <T : KSort> mkDistinctNoSimplify(args: List<KExpr<T>>): KDistinctExpr<T>

Create DISTINCT expression.