Version: 4.1.1

 (require mzlib/contract)

This library is designed as a backwards compatible library for old uses of contracts. It should not be used for new libraries; use scheme/contract instead.

The main differences: the function contract syntax is more regular and function contracts now support keywords, and union is now or/c.

The mzlib/contract library re-exports many bindings from scheme/contract:

  

</c

  

guilty-party

  

<=/c

  

integer-in

  

=/c

  

list/c

  

>/c

  

listof

  

>=/c

  

make-none/c

  

and/c

  

make-proj-contract

  

any

  

natural-number/c

  

any/c

  

none/c

  

between/c

  

not/c

  

box-immutable/c

  

one-of/c

  

box/c

  

or/c

  

build-compound-type-name

  

parameter/c

  

coerce-contract

  

printable/c

  

cons/c

  

promise/c

  

contract

  

provide/contract

  

contract-first-order-passes?

  

raise-contract-error

  

contract-violation->string

  

real-in

  

contract?

  

recursive-contract

  

define-contract-struct

  

string/len

  

define/contract

  

struct/c

  

false/c

  

symbols

  

flat-contract

  

syntax/c

  

flat-contract-predicate

  

vector-immutable/c

  

flat-contract?

  

vector-immutableof

  

flat-murec-contract

  

vector/c

  

flat-named-contract

  

vectorof

  

flat-rec-contract