kdrag.kernel.SchemaVar

kdrag.kernel.SchemaVar(prefix: str, sort: SortRef) → ExprRef

Generate a fresh variable

>>> SchemaVar("x", smt.IntSort()).schema_evidence
_SchemaVarEvidence(v=x!...)

Parameters:

• prefix (str)

• sort (SortRef)

Return type:

ExprRef