kdrag.MetaVar

kdrag.MetaVar(name: str, sort: SortRef) → ExprRef

A metavariable is just a regular smt constant whose names starts with “?”. It is not used in the kernel, but certain utility functions may use this property to try and find a replacement for the metavariable.

>>> foo = MetaVar("foo", smt.IntSort())
>>> foo
?foo
>>> smt.is_const(foo)
True

Parameters:

• name (str)

• sort (SortRef)

Return type:

ExprRef