Read First: Operation

Gives constraints that must be satisfied just after an operation is run.

Supertypes: Operation Constraint Rule

Subtypes: None