chickadee » simple-contracts » xdefine

(xdefine ((r r? ...) ... name (a a? ...) ... [as as? ...]) . body)syntax

contract guarded version of define for procedures, where name is the name of the procedure r ... are return values with corresponding postcondition r? a ... are fixed arguments with preconditions a? ... as is an optional variable argument with preconditions as? ...