[plt-scheme] function contracts

Is it possible to define a function contract that will cause some constraint
to hold between the arguments of the function?  For example a function might
require two integer arguments where the first must be less than the second.  I
couldn't see how to do this from reading the documentation.

Thanks,
David