Module Permissions for Attribute-Contract
| Authorized Releasers (1) |
|---|
| VTI |
| Module (5) | Owner (1) | Co-Maintainers (0) |
|---|---|---|
| Attribute::Contract | VTI | |
| Attribute::Contract::Modifier::Ensures | VTI | |
| Attribute::Contract::Modifier::Requires | VTI | |
| Attribute::Contract::Modifier::Throws | VTI | |
| Attribute::Contract::Utils | VTI |