| From: David Van Horn (dvanhorn at cs.uvm.edu) Date: Fri Mar 12 16:09:02 EST 2004 |
|
David Van Horn wrote: > In this case the function must be defined to take any number of > arguments, but I'd like to provide such a contract on a procedure of > arity 2 without changing the procedure's definition. Is this possible? This can easily be done using rename. Sorry for the noise. David
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}