kdrag.tactics.FreshVars

kdrag.tactics.FreshVars(names: str, sort: SortRef) → list[ExprRef]

Create a list of schema variables with the given names and sort.

Parameters:

• names (str)

• sort (SortRef)

Return type:

list[ExprRef]