Contracts

Examples of Compact contracts intending to demonstrate features of the Compact language, they are not intended as production ready implementations.