kdrag.theories.set.member

kdrag.theories.set.member(x: ExprRef, A: ArrayRef) → BoolRef

>>> x = smt.Int("x")
>>> A = smt.Const("A", Set(smt.IntSort()))
>>> member(x, A)
A[x]

Parameters:

• x (ExprRef)

• A (ArrayRef)

Return type:

BoolRef