QuantifierType enum

Type of quantifier for expanding trigger expressions.

Fields

all

Within a clause, duplicate any predicate with variable for each possible binding.

any

Create a new clause for each possible binding of variable.