base (original) (raw)

top contents [← prev](contract-utilities.html "backward to "8.8 Contract Utilities"") [up](contracts.html "up to "8 Contracts"") [next →](collapsible.html "forward to "8.10 Collapsible Contracts"")

8.9 racket/contract/base🔗ℹ

(require racket/contract/base)	package: base

The racket/contract/base module provides a subset of the exports of racket/contract module. In particular, it contains everything in the

Data-structure Contracts
Function Contracts
Attaching Contracts to Values and
Contract Utilities sections.

Unfortunately, using racket/contract/base does not yield a significantly smaller memory footprint thanracket/contract, but it can still be useful to add contracts to libraries that racket/contractuses to implement some of the more sophisticated parts of the contract system.