This module provides a collection of decorators for writing software using contracts.
Contracts are a debugging and verification tool. They are declarative statements about what states a program must be in to be considered "correct" at runtime. They are similar to assertions, and are verified automatically at various well-defined points in the program. Contracts can be specified on functions and on classes.
| Package Version | Update ID | Released | Package Hub Version | Platforms | Subpackages |
|---|---|---|---|---|---|
| 0.6.0-bp155.2.10 info | GA Release | 2023-05-22 | 15 SP5 |
|
|
| 0.6.0-bp154.1.20 info | GA Release | 2022-05-09 | 15 SP4 |
|
|
| 0.6.0-bp153.1.14 info | GA Release | 2021-03-06 | 15 SP3 |
|
|
| 0.6.0-bp152.1.10 info | GA Release | 2020-04-17 | 15 SP2 |
|
|