16 lines
476 B
Scheme
16 lines
476 B
Scheme
(module contract mzscheme
|
|
(require "private/contract.ss"
|
|
"private/contract-arrow.ss"
|
|
"private/contract-guts.ss"
|
|
"private/contract-ds.ss")
|
|
|
|
|
|
(provide
|
|
(all-from "private/contract-ds.ss")
|
|
(all-from "private/contract-arrow.ss")
|
|
(all-from-except "private/contract-guts.ss"
|
|
build-compound-type-name
|
|
first-order-prop
|
|
first-order-get)
|
|
(all-from "private/contract.ss")))
|