kdrag.contrib.expr.FreshConst

kdrag.contrib.expr.FreshConst(sort: SortRef, prefix='c')
Parameters:

sort (SortRef)