Version: 4.1
7 Contracts
This chapter is long on detail and short on the motivation and pragmatics of using contracts. See Contracts in the Guide for more of the latter and less of the former.
A contract controls the flow of values to ensure that the expectations of one party are met by another party. The provide/contract form is the primary mechanism for associating a contract with a binding.
The bindings documented in this section are provided by the scheme/contract and scheme libraries, but not scheme/base.