Contracts A encoding implementation that extends python's syntax to allow contracts, in the same style of the language cobra.