Here we discuss the exhaustive list of Armour patterns separated in armouring either a provides interface or a requires interface. They all come in 2 flavours, with or without error handling. The names were inspired by the error messages that the Dezyne verifier generates.
|• In Provides interface|
|• In Requires interface|
|• Might be expected but not possible Armour cases|