Rules

These are the rules regarding the requirements for using structs (versus domain values) as parameters and return values for operations: