[plt-scheme] function contracts

From: David Van Horn (dvanhorn at cs.uvm.edu)
Date: Thu Mar 11 00:15:41 EST 2004

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.


Posted on the users mailing list.