kdrag.is_metavar

kdrag.is_metavar(c: ExprRef) → bool

>>> assert is_metavar(MetaVar("foo", smt.IntSort()))

Parameters:

c (ExprRef)

Return type:

bool