swift

3576318f - RequirementMachine: Refactor construction of requirements from rules

RequirementMachine: Refactor construction of requirements from rules The final step in minimization is building Requirements and ProtocolTypeAliases from the minimal Rules in the RewriteSystem. Move this to a new file and refactor it a bit to handle Requirements and ProtocolTypeAliases more consistently.