kdrag.tactics.FreshVar

kdrag.tactics.FreshVar(name: str, sort: SortRef, assume=None) → ExprRef

Create a schema variable with the given name and sort.

Parameters:

• name (str)

• sort (SortRef)

Return type:

ExprRef