kdrag.modal.In

kdrag.modal.In(x: PExprRef, S: ArrayRef | QuantifierRef, prefix='t') → PBoolRef

>>> x = smt.Array("x", smt.IntSort(), smt.IntSort())
>>> S = smt.Array("S", smt.IntSort(), smt.SetSort(smt.IntSort()))
>>> In(x, S)
Lambda(t!..., S[t!...][x[t!...]])

Parameters:

• x (PExprRef)

• S (ArrayRef | QuantifierRef)

Return type:

PBoolRef