How do I make a contract for something like apply ? The part I’m interested in is that eg. for (define (apply proc args) ...) I

would like to have a contract that says args should be a list of as many values as proc takes as arguments

I think you need ->i to express the dependence

yes but how do I figure out the number of arguments a procedure accepts? Or rather, that it at least accepts as many as “args”, since it could support more due to rest-args

procedure-arity might help

oh, thanks!