kdrag.kernel.is_schema_var

kdrag.kernel.is_schema_var(v: ExprRef) → bool

Check if a variable is a schema variable. Schema variables are generated by SchemaVar and have a _SchemaVarEvidence attribute.

>>> is_schema_var(SchemaVar("x", smt.IntSort()))
True