21cbd9ad81
and documented and adjusted these libraries:
racket/contract/base
racket/contract/exists
racket/contract/parametric (renamed from exists)
racket/contract/region
24 lines
701 B
Racket
24 lines
701 B
Racket
#lang racket/base
|
|
(require "private/prop.rkt"
|
|
"private/guts.rkt"
|
|
"private/blame.rkt")
|
|
|
|
(provide
|
|
(except-out (all-from-out "private/prop.rkt")
|
|
contract-struct-name
|
|
contract-struct-first-order
|
|
contract-struct-projection
|
|
contract-struct-stronger?
|
|
contract-struct?
|
|
chaperone-contract-struct?
|
|
flat-contract-struct?)
|
|
|
|
(except-out (all-from-out "private/guts.rkt")
|
|
check-flat-contract
|
|
check-flat-named-contract
|
|
make-predicate-contract
|
|
has-contract?
|
|
value-contract)
|
|
|
|
(except-out (all-from-out "private/blame.rkt") make-blame))
|