Represents the different types of resulting constraints that are inferred by abstract data frame operations.
The inferred constraints are applied to the operand during the operation
The inferred constraints must hold for the operand at the point of the operation
The inferred constraints must hold for the returned result of the operation
Represents the different types of resulting constraints that are inferred by abstract data frame operations.