#%private/steel/contract

this module is in the prelude and therefore automatically available when running steel.

make-function/c

Creates a FunctionContract from the list of conditions, splitting out the preconditions and the postconditions

</c

<=/c

>/c

>=/c

FlatContract

FlatContract-name

FlatContract-predicate

FlatContract?

FunctionContract

FunctionContract-post-condition

FunctionContract-pre-conditions

FunctionContract?

and/c

any/c

bind/c

contract->string

contract?

hashof

listof

make/c

non-empty-listof

or/c